SWI-Prolog
raffael