SWI-Prolog
craig