SWI-Prolog
Jamie