SWI-Prolog
discuss9128