StackOverflow 文档 Prolog Language 教程 单调性 单调性 非单调构造的单调替代品 关于单调谓词的推理 单调谓词的例子 将单调性与效率相结合 非单调谓词 非单调构造的单调替代品