SWI-Prolog
peter.ludemann