SWI-Prolog
AdrianB