SWI-Prolog
Garklein