CLP(H)

Prolog 本身可以被视为 CLP(H) ： Herbrand 术语的约束逻辑编程。从这个角度来看，Prolog 程序会对术语发布约束。例如：

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