deklarativní a cílově orientovaná sémantika

Rozdílné sémantiky programovacích jazyků, tzv. logického programování (například PROLOG), kdy cílově orientovaná (procedurální) sémantika interpretuje funktory označené za predikáty jako cíle (G, jestliže A, B, C), tj. cíl je splněn, jsou-li splněny A, B i C. Deklarativní sémantika pohlíží na predikáty jako na formule predikátového počtu, tj. G je pravdivý, jsou-li A, B i C pravdivé, což lze interpretovat: A∧B∧C→G nebo G∨¬A∨¬B∨¬C, nebo deklarativní sémantika neuvažuje pořadí formulí v pravidle. Viz také procedurální a deklarativní jazyk.