StackOverflow 文档 Prolog Language 教程 使用现代 Prolog 使用现代 Prolog CLP(FD) 用于整数运算 介绍 Forall 而不是故障驱动的循环 函数式谓词 Flowmode 声明 CLP(FD) 用于整数运算