SWI-Prolog
stuz5000