SWI-Prolog
TomSchrijvers