如何在Prolog数据库中声明算术关系

Question

我使用的是由Bratko提出的正向链接算法。如何在prolog数据库中输入算术规则。例如，我想输入年龄是35.换言之，我想输入事实（年龄35岁）。

谢谢

Answer 1

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

我认为可以安全地推断assert/1的可用性，并且'反向'缩回/ 1。你链接的代码已经使用assert/1。

一些Prolog的要求声明谓词通过断言/收回来操作：

:- dynamic fact/2. 

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