Project "Contraintes" Prolog Web Pages: Semantics
Operational and Formal semantics.
The AFNOR formal semantics
The semantics of the database update predicates
Author: J.P.E. Hodgson
Saint Joseph's University
Philadelphia PA 19131
USA
Last Changed: 1 january 2003