SWI-Prolog
VictorLockwood