prolog - 如何在 Prolog 数据库中断言算术关系

Question

我正在使用Bratko提出的前向链接算法。如何在 prolog DB 中输入算术规则。例如，我想输入年龄是 35。换句话说，我想输入事实（年龄，35）。

谢谢

Answer 1

很大程度上取决于您使用的 Prolog。

我认为假设 assert/1 和“反向”retract/1 的可用性是安全的。您链接的代码已经使用了 assert/1。

一些 Prolog 要求通过 assert/retract 操作谓词的声明：

:- dynamic fact/2.

...
  assert(fact(age, 35)),
...
  retract(fact(Kind, Value)),
  write(Kind:Value),
...