SWI-Prolog
kjp