SWI-Prolog
adamcrussell