我想知道如何在杰森添加新规则。在prolog中它将是这样的:
a :- b, c.
在杰森,我尝试了一些was discussed in jason users list,没有成功:
a :- b & c.
+a :- b & c.
+(a :- b & c).
试试这个:
+{a :- b & c}.
你可以检查它是否有效:
{.relevant_rules(_,L);.print(L);}
顺便说一句,如果你想删除它,你可以这样做:
-{a :- b & c}.