SWI-Prolog
huub-al