SWI-Prolog
Jrdn40