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)