SWI-Prolog
erikkaplun