SWI-Prolog
friguzzi