The Free On-line Dictionary of Computing (30 December 2018):Prolog-2 An implementation of Edinburgh Prolog by Nick Henfrey, ESL. ["An Advanced Logic Programming Language", Anthony Dodd].