Мне интересно, как добавить новое правило в Джейсон. В прологе это было бы просто что-то вроде:
a :- b, c.
В Jason я попробовал что-то, что обсуждалось в списке пользователей jason , но безуспешно:
a :- b & c. +a :- b & c. +(a :- b & c).
Попробуйте это:
+{a :- b & c}.
И вы можете проверить, сработало ли это:
{.relevant_rules(_,L);.print(L);}
Кстати, если вы хотите удалить его, вы можете сделать следующее:
-{a :- b & c}.