SWI-Prolog
hargettp