Lloyd Allison, Algol Bulletin, 50, pp.10-18, Dec. 1983

A Denotetional Semantics of the logic programming language Prolog is expressed in Algol-68. The result is a formal definition that is also executable. It is presented as an example of high-order programming in Algol-68; the eventual aim is to use this to compare differing brands and implementations of Prolog formally and experimentally.

Paper: pdf@[acm.org]['08]