Source : Free On-Line Dictionary of Computing

Prolog-2
     
        An implementation of Edinburgh Prolog by Nick Henfrey, {ESL}.
     
        ["An Advanced Logic Programming Language", Anthony Dodd].