SWI-Prolog
Jacktopping56