prolog - 如何在运行时在 Jason 中添加规则

Question

我想知道如何在 Jason 中添加新规则。在序言中，它就像：

a :- b, c.

在 Jason 中，我尝试了一些在 jason users list 中讨论过的东西，但没有成功：

a :- b & c.
+a :- b & c.
+(a :- b & c).

Answer 1

尝试这个：

+{a :- b & c}.

您可以检查它是否有效：

{.relevant_rules(_,L);.print(L);}

顺便说一句，如果要删除它，可以执行以下操作：

-{a :- b & c}.