0

我对 prolog 很陌生,我正在尝试(自我)使用 SWI-Prolog(Windows 版本)从基础知识中学习。我的这个问题肯定是一个新手问题,请原谅我的幼稚。

我正在使用主交互式窗口,试图按照教程(这个)但是关于 SWI-prolog 答案我不明白的一件事。

根据我的理解,SWI-Prolog 通过写“真”或“假”来响应我的查询,我能够按照教程进行操作并获得预期的结果。

令我困惑的是,SWI 使用红色和黑色两种颜色打印他的答案。有时答案是用红色写的,有时是用黑色写的,有时我会得到两个相反的回答[比如:“真;假”],一个是黑色的,另一个是红色的!

我搜索了 SWI-prolog 文档,但未能在响应中找到两种不同颜色的含义。

有人可以向我指出相关的 SWI 文档或解释为什么会发生这种情况吗?

编辑:

总结一下:

用红色写的“真实”答案和用黑色写的答案有什么区别?

用红色写的“错误”答案和用黑色写的答案之间的区别?

4

1 回答 1

0
  1. 红色表示新建;独立(无递归)
  2. 黑色表示递归
  3. 蓝色表示在 SWI-PROLOG 中定义

希望这有帮助。

于 2013-07-28T03:16:14.703 回答