Defining defrule: ValidarEspesor_B01
[PRNTUTIL2] Syntax Error: Check appropriate syntax for defrule.
ERROR:
(defrule MAIN::ValidarEspesor_B01
(declare (salience 10) (CF 1.000))
(_v (
Defining defrule: ValidarEspesor_B00
[PRNTUTIL2] Syntax Error: Check appropriate syntax for defrule.
ERROR:
(defrule MAIN::ValidarEspesor_B00
(declare (salience 10) (CF 1.000))
(_v (
FALSE
The piece of code is:
*********************************************************************************************************
(defrule ValidarEspesor_B01
(declare (salience 10) (CF 1.00) )
(_v (_e espesorLFrio ?espesorLFrio ) (_t ?t_t_espesorLFrio ?t_o_espesorLFrio))
(test (> ?espesorLFrio 3.0))
=>
(bind ?targetfin 0)
(assert (_v (_e targetfin ?targetfin )))
(bind ?espesorLFrio 3.0)
(assert (_v (_e espesorLFrio ?espesorLFrio )))
(bind ?INICIALIZADO SI)
(assert (_v (_e INICIALIZADO ?INICIALIZADO )))
(Printmsj CON "espesor mayor a 3mm")
(Printmsj VIS "espesor mayor a 3mm")
(loggmsj /home/setri/MF_target/tmp/clp/ "REGLA_ValidarEspesor_B01" crlf)
(loggmsj /home/setri/MF_target/tmp/clp/ "espesorLFrio: "?espesorLFrio crlf )
(loggmsj /home/setri/MF_target/tmp/clp/ "targetfin: "?targetfin crlf )
(loggmsj /home/setri/MF_target/tmp/clp/ "INICIALIZADO: "?INICIALIZADO crlf )
)
(defrule ValidarEspesor_B00
(declare (salience 10) (CF 1.00) )
(_v (_e espesorLFrio ?espesorLFrio ) (_t ?t_t_espesorLFrio ?t_o_espesorLFrio))
(not (test (> ?espesorLFrio 3.0))
)=>
(bind ?targetfin 0)
(assert (_v (_e targetfin ?targetfin )))
(bind ?INICIALIZADO SI)
(assert (_v (_e INICIALIZADO ?INICIALIZADO )))
(Printmsj CON "espesor menor a 3mm")
(Printmsj VIS "espesor menor a 3mm")
(loggmsj /home/setri/MF_target/tmp/clp/ "REGLA_ValidarEspesor_B00" crlf)
(loggmsj /home/setri/MF_target/tmp/clp/ "espesorLFrio: "?espesorLFrio crlf )
(loggmsj /home/setri/MF_target/tmp/clp/ "targetfin: "?targetfin crlf )
(loggmsj /home/setri/MF_target/tmp/clp/ "INICIALIZADO: "?INICIALIZADO crlf )
)
***************************************************************************************************************
I hope you can help me and i will be very grateful.