Project LOCO Prolog Web Pages: Semantics
Operational and Formal semantics.
The AFNOR formal semantics
The semantics of the database update predicates
Author: J.P.E. Hodgson
Inria Rocquencourt
78153 Le Chesnay Cedex
France
Saint Joseph's University
Philadelphia PA 19131
USA
Last Changed: 16 November 1998