SWI-Prolog
Lion