SWI-Prolog
jayprakashnair