SWI-Prolog
kritixilithos