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

LA home
Computing
Publications
 TOPLAS93

Also see
Semantics
Prolog

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. ...
 
[doi:10.1145/151646.151652]['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:32:57 EST.

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