SWI-Prolog
Goran