SWI-Prolog
Wiki