ACM Trans. Prog. Langs. and Systems, 15(1), pp.206-208, Jan. 1993
A. Finlay and L. Allison
- In  we described the use of Standard ML to implement and
experiment with the denotational semantics of Prolog.
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. ...