SWI-Prolog
Gerhard