StackOverflow 文件 Prolog Language 教程 使用現代 Prolog 使用現代 Prolog CLP(FD) 用於整數運算 介紹 Forall 而不是故障驅動的迴圈 函式式謂詞 Flowmode 宣告 CLP(FD) 用於整數運算