SWI-Prolog
Limmen