SWI-Prolog
groehner