SWI-Prolog
spierepf