SWI-Prolog
JGSalgueiro