SWI-Prolog
rpgoldman