SWI-Prolog
bcraytor