如何在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), 
...