SWI-Prolog
RileyCooper