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

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

---

谢谢

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

我认为可以安全地假定assert/1和'inverse'retract/1的可用性。您链接的代码已使用assert/1

某些序言要求通过断言/收回操作谓词声明：

:- dynamic fact/2.

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

---

谢谢你的回复。你的意思是我可以使用两种版本的事实（即事实/1和事实/2）。很有趣。