SWI-Prolog
kaiser185