SWI-Prolog
jsampson45