SWI-Prolog
MoshePupkin