Ошибка CLIPS: незаконное использование спецификатора модуля при дефруле - PullRequest
Новая
       82

Ошибка CLIPS: незаконное использование спецификатора модуля при дефруле

0 голосов
/ 09 апреля 2020

Я хочу определить некоторые правила модуля для утверждения фактов модуля, а затем пакетно получить список фактов группы по get-fact-list, но произошла ошибка! 

         CLIPS (6.31 6/12/19)
CLIPS> (defmodule M)
CLIPS> (deftemplate M::T (slot k1))
CLIPS> (defrule M::T (testvalue 1) => (assert (M::T (k1 "v1"))))

[MODULDEF1] Illegal use of the module specifier.

ERROR:
(defrule M::T
   (testvalue 1)
   =>
   (assert (M::T
CLIPS>

ожидается: 

CLIPS> (defmodule M)
CLIPS> (deftemplate M::T (slot k1))
CLIPS> (defrule M::T (testvalue 1) => (assert (M::T (k1 "v1"))))

CLIPS> (assert (testvalue 1))
CLIPS> (get-fact-list M)
;; return the facts that M::rulexx  assert

Почему ошибка синтаксиса? Как я могу сделать это для defrule из module?

1 Ответ

1 голос
/ 09 апреля 2020

Не используйте M :: T в вашей команде assert. Поскольку дефруле содержится в модуле М, на все дефтемплеты, видимые для М, можно ссылаться без использования спецификатора модуля. 

         CLIPS (6.31 6/12/19)
CLIPS> (defmodule M)
CLIPS> (deftemplate M::T (slot k1))
CLIPS> (defrule M::T (testvalue 1) => (assert (T (k1 "v1"))))
CLIPS> (assert (testvalue 1))
<Fact-1>
CLIPS> (get-fact-list M)
(<Fact-1>)
CLIPS>
...