SWI-Prolog
thorkr