SWI-Prolog
Sietse