SWI-Prolog
jjack