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, www.allisons.org/ll/   (or as otherwise indicated).
Created with "vi (Linux)",  charset=iso-8859-1,   fetched Thursday, 09-Jul-2020 11:33:38 EDT.

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