SWI-Prolog
Daniel