SWI-Prolog
jcleve57