SWI-Prolog
kamcole