prolog - Prolog データベースで算術関係をアサートする方法

Question

Bratkoによって提案されたフォワード チェーン アルゴリズムを使用しています。Prolog DB に算術規則を入力するにはどうすればよいですか。たとえば、age is 35 と入力します。つまり、事実 (age,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),
...