Denotationale Semantik

Bedeutung einer Regel C :- P₁,..., P_n

mit Variablen X₁,…, X_k ist:

∀X₁ ^... ∀X_k : (P₁∧…∧P_n)→C

beachte: äquiv. Umformung, falls Variablen des Rumpfes nicht in C vorkommen.

Bedeutung eines Programms P mit Regeln R₁,…, R_i und Anfrage Q ist Konjunktion aller Bedeutungen

[P] : = [R₁]∧…∧[R_i]∧[Q]

beachte: Negation in Bedeutung der Anfrage Q

d. h. [P] = false ⇔ Anfrage folgt aus Programm.