SWI-Prolog
Phycom