SWI-Prolog
EySword