SWI-Prolog
ham952