SWI-Prolog
Marc