SWI-Prolog
jamesnvc