SWI序言:用红色和/或黑色书写的答案

时间:2013-07-22 15:45:08

标签: swi-prolog

我是prolog的新手,我正在尝试(自我)使用SWI-Prolog(Windows版本)学习基础知识。我的这个问题肯定是一个新手问题,请原谅我的天真。

我正在使用主要的交互式窗口,尝试按照教程(this one),但有一件事我不明白SWI-prolog的答案。

我理解它的方式,SWI-Prolog通过对我的查询写“真”或“假”来回应,我能够按照教程并得到预期的结果。

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

我已搜索过SWI-prolog文档,但未能在回复中找到两种不同颜色的含义。

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

编辑:

总结一下:

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

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

1 个答案:

答案 0 :(得分:1)

  1. 红色表示新;独立(无递归)
  2. 黑色表示递归
  3. 蓝色表示在SWI-PROLOG中定义
  4. 希望这有用。

相关问题