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

我想知道如何在Jason中添加新规则。在序言中，它将类似于：

a :- b, c.

在杰森身上，我尝试了一些东西，但没有成功：

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

试试这个：

+{a :- b & c}.

您可以检查它是否有效：

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

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

-{a :- b & c}.

试试这个：

+{a :- b & c}.

您可以检查它是否有效：

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

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

-{a :- b & c}.

---

当这个规则不是上下文的一部分时，有没有办法测试它？为什么.send（self，tellRule，[{a:-b&c}]）。不起作用？当这个规则不是上下文的一部分时，有没有办法测试它？为什么.send（self，tellRule，[{a:-b&c}]）。不起作用？