SWI-Prolog
softmonaut