Prolog+semantics

Project "Contraintes" Prolog Web Pages: Semantics
Operational and Formal semantics. [|The AFNOR formal semantics] [|The semantics of the database update predicates]