The Free On-line Dictionary of Computing (19 January 2023):

Prolog-2

   An implementation of Edinburgh Prolog by Nick Henfrey, ESL.

   ["An Advanced Logic Programming Language", Anthony Dodd].