SWI-Prolog
Lorenzo