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

Question

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

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

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

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

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

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

编辑：

总结一下：

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

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

Answer 1

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

希望这有用。