Сборка изделия из деталей

;Автомат собирает изделие из деталей
 
(deftemplate detail
 (slot name (type SYMBOL))
 (slot location (type SYMBOL))
 (slot count (type SYMBOL))
)
 
(deftemplate Izdelie
 (slot name (type SYMBOL))
 (slot location (type SYMBOL))
 (slot count (type SYMBOL))
)
 
(deftemplate goal
 (slot action (type SYMBOL))
 (slot name (type SYMBOL))
 (slot from (type SYMBOL))
 (slot to (type SYMBOL))
)
 
(deftemplate in
 (slot name (type SYMBOL))
 (slot location (type SYMBOL))
)
 
;; ФАКТЫ
 
;; Деталь 1 на —*Склад,
;; Деталь 2 на —*Склад,
;; цель - собрать Изделие из Деталь 1 и Деталь 2.
 
(deffacts starts
    (detail (name Detail1)
            (location Sklad)
            (count 5)
    )
    (detail (name Detail2)
            (location Sklad)
            (count 5)
    )
 (goal (action sborka) (name Detail1) (from Sklad) (to Izdelie))
 (goal (action sborka) (name Detail2) (from Sklad) (to Izdelie))
)
 
 
;; ѕрекратить процесс, когда цель будет достигнута.
(defrule stop
 (goal (name ?X) (to ?Y))
 (in (name ?X) (location ?Y))
=>
 (halt)
)
 
 
(defrule move
 (goal (name ?X) (from ?Y))
 (in (name ?X) (location ?Y))
 ?detail-position <- (in (name detail) (location ?Z&~?Y) (bind ?count (- ?count 1))
 
=>
 (modify ?detail-position (location ?Y))
)
 
(defrule sborka
 (goal (name ?X) (from ?Y) (to ?Z))
 (in (name ?X) (location ?Y))
 ?detail-position <- (in (name ?X) (location ?Y))
 ?izdelie-position <- (in (name izdelie) (location ?Y))
=>
 (modify ?detail-position (location ?Z))
 (modify ?izdelie-position (location ?Z))
)

(deftemplate detail
    (slot name (type SYMBOL))
    
    (slot owner (type SYMBOL))
)
 
(deftemplate goal
    (slot action (type SYMBOL))
    (slot name (type SYMBOL))
    (slot number(type INTEGER))
    (slot from (type SYMBOL))
    (slot to (type SYMBOL))
)
 
(deffacts starts
    (detail (name Detail1)
            (owner machine)
    )
    (detail (name Detail2)
            (owner machine)
    )
    (goal (action sborka) (name Detail1)(number 10)(from machine)(to Izdelie)
    )
    (goal (action sborka) (name Detail2)(number 5)(from machine)(to Izdelie)
    )
    (goal (action sborka) (name Forsunka)(from machine)(to Izdelie)
    )
)
 
 
 
(defrule stop
    (goal (name ?x)(to ?y))
    (detail (name ?x)(owner ?y))
    =>(halt)
)
 
(defrule noSuchDetail
    (goal(name ?x))(not (detail (name ?x)))
    =>(printout t "There is no detail with name " ?x crlf)
    (halt)
)
 
 
(defrule sborka
    (goal (name ?x)(from ?f)(to ?t))
    ?desiredTicket <- (detail(name ?x)(owner machine))
    ?number_zklad <- (goal (number ?number))
    =>  
    (modify ?number_zklad (number (- ?number 1)))
    (retract ?number_zklad)
    (printout t "Detail " ?x "is moved to Izdelie succesfully." crlf)
    (printout t "Remain number of detailz into zklad is " ?number crlf crlf)
)