SWI-Prolog
wdiestel