SWI-Prolog
Emile