Непонятное сообщение об ошибке (deffacts .)

@Slenon · Регистрация: 25.07.2016

Студворк — интернет-сервис помощи студентам

Переделываю прогу из Prolog`а (из арабских в римские, и обратно) ...

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
(defrule ArabRim  
   =>
(deffacts chisla
(zamena (arab 1000) (rim "M") (q 1))   (zamena (arab 900) (rim "CM") (q 2))
(zamena (arab 500)  (rim "D") (q 1))   (zamena (arab 400) (rim "CD") (q 2))    
(zamena (arab 100)  (rim "C") (q 1))   (zamena (arab 90)  (rim "XC") (q 2))
(zamena (arab 50)   (rim "L") (q 1))   (zamena (arab 40)  (rim "XL") (q 2))
(zamena (arab 10)   (rim "X") (q 1))   (zamena (arab 9)   (rim "IX") (q 2))
(zamena (arab 5)    (rim "V") (q 1))   (zamena (arab 4)   (rim "IV") (q 2))
(zamena (arab 1)    (rim "I") (q 1)))
(zamena (arab ?arab) (rim "D"))
(printout t " arab = " ?arab crlf))

CLIPS> (load "C:/CLIPS/i_programmy/ArabRim.clp")
*
[EXPRNPSR3] Missing function declaration for deffacts.

ERROR:
(defrule MAIN::ArabRim
=>
(deffacts

FALSE
CLIPS>

Что значит - Missing function declaration for deffacts.(Отсутствует объявление функции для деффактов.)

@Catstail · 06.01.2018, 21:05

Я думаю, что имя deffacts употреблено, как имя функции, а определения этой функции нет.

@Slenon · 10.01.2018, 18:19 **[ТС]**

Вот код:

Lisp
1
2
3
4
5
6
7
(defrule ArabRim    =>
;(bind ?arab #)
(assert (slot arab)  (slot rim) (slot q))
(assert (arab 1000)  (rim "M")  (q 1))
(assert (arab 900)   (rim "CM") (q 2))
(assert (arab ?arab) (rim "M"))
(printout t " arab = " ?arab crlf))

при (bind ?arab #)

CLIPS> (load "C:/CLIPS/i_programmy/ArabRim.clp")
*
TRUE
CLIPS> (reset)
CLIPS> (run)
arab = #
CLIPS>

Таким образом код проходит статическую проверку ...
Но при ;(bind ?arab #)

[I]CLIPS> (load "C:/CLIPS/i_programmy/ArabRim.clp")
*

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 Undefined variable arab referenced in RHS of defrule.
 
ERROR:
(defrule MAIN::ArabRim
   =>
   (assert (slot arab)
           (slot rim)
           (slot q))
   (assert (arab 1000)
           (rim "M")
           (q 1))
   (assert (arab 900)
           (rim "CM")
           (q 2))
   (assert (arab ?arab)
           (rim "M"))
   (printout t " arab = " ?arab crlf))
 
FALSE
CLIPS>

Вопрос - почему не работает (assert (arab ?arab) (rim "M")), и не происходит
присвоение переменной ?arab значения 1000 ...

@Slenon · 13.01.2018, 15:05 **[ТС]**

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
(defrule ArabRim  =>
;(load "AR.clp")
;(bind ?arab 0)
 
(assert (deftemplate zamena
(assert (slot arab)  (slot rim) (slot q))))
 
(assert (deffacts chisla
(assert (zamena  (assert (arab 1000) (rim "M")  (q 1))))
(assert (zamena  (assert (arab 900)  (rim "CM") (q 2))))))
 
(assert (zamena (assert (arab ?arab) (rim "M")  (q 1))))
(printout t " arab = "  ?arab crlf))

Вопрос всё тот же ...

@Slenon · 16.01.2018, 04:54 **[ТС]**

Может быть кому то пригодится:

Lisp
1
2
3
4
5
6
7
(deffacts chisla
(zamena (assert
(arab 1000) (rim "M")  (q 1)
(arab 900)  (rim "CM") (q 2)
;....................................................
(arab 1)    (rim "I")  (q 1)
)))

Только одно assert для всех фактов ...
Но только если конструкция вынесена в
отдельный файл (load "___.clp") ...

@Slenon · 18.01.2018, 01:10 **[ТС]**

Lisp
1
2
3
4
5
6
7
(defrule ArabRim1  =>
;(bind ?arab 0)
(assert (slot arab) (slot rim) (slot q))
(assert (arab 1000) (rim "M")  (q 1)
        (arab 900)  (rim "CM") (q 2))
(assert (arab ?arab) (rim "M") (q 1))
(printout t " arab = "  ?arab crlf))

Можно и так ... А результата всё равно нет!!!

@Slenon · 21.01.2018, 21:24 **[ТС]**

Lisp
1
2
3
4
5
6
(deffacts chisla
(zamena (arab 1000) (rim "M")  (q 1))
(zamena (arab 900)  (rim "CM") (q 2))
.....................................................
(zamena (arab 4)    (rim "IV") (q 2))
(zamena (arab 1)    (rim "I")  (q 1)))

Lisp
1
2
3
4
5
6
7
8
9
(deftemplate zamena
(slot arab) (slot rim) (slot q))
;------------------------------------
(defrule ArabRim 
(zamena (arab ?arab) (rim ?rim) (q 1))
    =>
(printout t " arab = " ?arab "  rim = " ?rim crlf))
;------------------------------------
(load "chisla.clp")

CLIPS> (load "C:/CLIPS/i_programmy/ArabRim/ArabRim.clp")

[CSTRCPSR4] Cannot redefine deftemplate zamena while it is in use.

ERROR:
(deftemplate MAIN::zamena
*
[CSTRCPSR1] Expected the beginning of a construct.

FALSE
CLIPS> (reset)
CLIPS> (run)
arab = 1 rim = I
................................
arab = 1000 rim = M
CLIPS>
Вопрос - код выдаёт правильный результат, но при этом пишет
сообщения об ошибках ... Почему ?!!! ....

Новые блоги и статьи Все статьи Все блоги /
Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .	Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .	Подстановка значения реквизита справочника в табличную часть документа Maks 10.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: при выборе сотрудника (справочник Сотрудники) в ТЧ документа. . .	Очистка реквизитов документа при копировании Maks 09.04.2026 Алгоритм из решения ниже применим как для типовых, так и для нетиповых документов на самых различных конфигурациях. Задача: при копировании документа очищать определенные реквизиты и табличную. . .
модель ЗдравоСохранения 8. Подготовка к разному выполнению заданий anaschu 08.04.2026 https:/ / github. com/ shumilovas/ med2. git main ветка * содержимое блока дэлэй из старой модели теперь внутри зайца новой модели 8ATzM_2aurI	Блокировка документа от изменений, если он открыт у другого пользователя Maks 08.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в конфигурации КА2. Задача: запретить редактирование документа, если он открыт у другого пользователя. / / . . .	Система безопасности+живучести для сервера-слоя интернета (сети). Двойная привязка. Hrethgir 08.04.2026 Далее были размышления о системе безопасности. Сообщения с наклонным текстом - мои. А как нам будет можно проверить, что ссылка наша, а не подделана хулиганами, которая выбросит на другую ветку и. . .	Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20% kYBz3eJf3jQ

@Catstail Супер-модератор 38203 / 21135 / 4310 Регистрация: 12.02.2012 Сообщений: 34,740 Записей в блоге: 14
	06.01.2018, 21:05
	Я думаю, что имя deffacts употреблено, как имя функции, а определения этой функции нет. 0