SWI-Prolog
marios101