StackOverflow 文件 Prolog Language 教程 單調性 單調性 非單調構造的單調替代品 關於單調謂詞的推理 單調謂詞的例子 將單調性與效率相結合 非單調謂詞 非單調構造的單調替代品