An executable Prolog semantics

LA home
Computing
Publications
 AB83

Also see
 Semantics
  program
 Prolog

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

Lloyd Allison

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.
 
[doi:10.1145/1061790.1061794]['08]
www:


© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Created with "vi (Linux or Solaris)",  charset=iso-8859-1,  fetched Friday, 24-Nov-2017 04:31:46 EST.

free: Linux, Ubuntu operating-sys, OpenOffice office-suite, The GIMP ~photoshop,
Firefox web-browser, FlashBlock flash on/off.