SWI-Prolog
john