StackOverflow 文件 Prolog Language 教程 Prolog 語言入門 CLP(FD) 約束 CLP(FD) 約束 Created: November-22, 2018 CLP(FD) 約束由所有嚴肅的 Prolog 實現提供。它們允許我們以純粹的方式推理整數。 ?- X #= 1 + 2. X = 3. ?- 5 #= Y + 2. Y = 3. append3