这是我的导师的问题。 “用你自己的话说，当prolog返回查询失败时，可以得出什么样的结论？”
我从未经历过prolog返回失败。我只能假设它可能会在通过回溯遇到错误时返回失败？
答案 0 :(得分：1)
当Prolog“返回”指示查询失败时，表示它无法证明查询。示例：2 == 3.。
当您在Prolog中进行查询时，Prolog会尝试为您满足。有两种可能的结果 - 无论是成功还是无法满足查询。
成功时，它表示查询中变量的替换，并且成功。如果有多种方法可以满足查询，Prolog将显示每个查询的替换，如果需要的话。
如果查询成功而没有对其变量进行任何替换（即没有变量），则会通过打印Yes，true或其他任何方式以某种方式指示成功，具体取决于具体情况实施
同样，也会以某种方式表示失败，例如：通过说No，false或其他任何内容。
（那是真的基本的东西。你应该读一些关于Prolog的好书，或者和你的导师交谈，很多。锻炼，锻炼，锻炼......）:(）