SWI-Prolog
jess