SWI-Prolog
kantianer8