SWI-Prolog
Johny23