CLP(H)

Prolog 本身可以被視為 CLP(H) ： Herbrand 術語的約束邏輯程式設計。從這個角度來看，Prolog 程式會對術語釋出約束。例如：

?- X = f(Y), Y = a.
X = f(a),
Y = a.