SWI-Prolog
ILogre