SWI-Prolog
thetyster