SWI-Prolog
Gauntlet173