SWI-Prolog
alanbur