Могу ли я иметь detemplate внутри факта - PullRequest
Новая
       21

Могу ли я иметь detemplate внутри факта

0 голосов
/ 20 марта 2019 
(deftemplate andprop (slot symbol1)(slot symbol2))
(deftemplate orprop (slot symbol1)(slot symbol2))
(deftemplate implies (multislot premise)(multislot 
implication))
(deftemplate sentence (multislot sent))

(defrule read-from-user 
=>
(printout t "Please enter a value: " crlf)
(bind ?response (read))
(assert (sentence (sent andprop(symbol1 ?response) 
(symbol2 ?response)))))

Я пишу программу CLIPS для имитации проппозиционной логики, но когда я пытаюсь запустить этот кусок кода, я получаю следующее 

[EXPRNPSR3] Missing function declaration for 'symbol1'.

ERROR:
(defrule MAIN::read-from-user
   =>
   (printout t "Please enter a value: " crlf)
   (bind ?response (read))
   (assert (sentence (sent andprop (symbol1

1 Ответ

0 голосов
/ 21 марта 2019

Вы можете установить значение слота для другого факта: 

         CLIPS (6.31 2/3/18)
CLIPS> 
(deftemplate andprop 
   (slot symbol1)
   (slot symbol2))
CLIPS> 
(deftemplate orprop 
   (slot symbol1)
   (slot symbol2))
CLIPS> 
(deftemplate implies 
   (multislot premise)
   (multislot implication))
CLIPS>    
(deftemplate sentence 
  (multislot sent))
CLIPS> 
(defrule read-from-user 
   =>
   (printout t "Please enter a value: " crlf)
   (bind ?response (read))
   (bind ?sent (assert (andprop (symbol1 ?response)
                                (symbol2 ?response))))
   (assert (sentence (sent ?sent))))
CLIPS> (run)
Please enter a value: 
45678
CLIPS> (facts)
f-0     (initial-fact)
f-1     (andprop (symbol1 45678) (symbol2 45678))
f-2     (sentence (sent <Fact-1>))
For a total of 3 facts.
CLIPS>
...