SWI-Prolog
matt