SWI-Prolog
Rik