SWI-Prolog
MrAlex