A correction to the denotational semantics for Prolog of Nicholson and Foo

LA home

Also see

ACM Trans. Prog. Langs. and Systems, 15(1), pp.206-208, Jan. 1993

A. Finlay and L. Allison

In [1] we described the use of Standard ML[2] to implement and experiment with the denotational semantics of Prolog[3]. In the process of implementing the semantics, an error was detected by the Standard ML type system. As well as providing a correction to the semantics, this note is of interest as a demonstration of the advantage of implementing semantics in a strongly typed functional programming language. The error occurs consistently throughout the semantics wherever unify is applied, except in its own definition. ...

© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Created with "vi (Linux or Solaris)",  charset=iso-8859-1,  fetched Sunday, 20-May-2018 19:36:51 EDT.

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