SWI-Prolog
andrea.cortis