SWI-Prolog
fnogatz