SWI-Prolog
DrLynch