StackOverflow 文档 Prolog Language 教程 约束逻辑编程 CLP(H) CLP(H) Created: November-22, 2018 Prolog 本身可以被视为 CLP(H) : Herbrand 术语的约束逻辑编程。从这个角度来看,Prolog 程序会对术语发布约束。例如: ?- X = f(Y), Y = a. X = f(a), Y = a. CLP(Q)