SWI-Prolog
Alex