SWI-Prolog
trent-shipley