Prolog Language
Logisk renhet

dif / 2

Predikatet dif/2 är ett rent predikat: Det kan användas i alla riktningar och med alla instansmönster, vilket alltid betyder att dess två argument är olika .

CLP (FD) begränsningar

CLP (FD) begränsningar är helt rena relationer. De kan användas i alla riktningar för deklarativ heltal-aritmetik:

?- X #= 1+2.
X = 3.

?- 3 #= Y+2.
Y = 1.

Enande

Enhet är en ren relation. Det ger inte biverkningar och kan användas i alla riktningar, med endera eller båda argumenten helt eller delvis instanserade.

I Prolog kan enighet ske

• uttryckligen med hjälp av inbyggda predikat som (=)/2 eller unify_with_occurs_check/2
• implicit när enhet används för att välja en lämplig klausul.