SWI-Prolog
edom