Dada la siguiente regla:
(defrule comprobar-ventanas
(exists (ventana (estado abierta)) )
=>
(printout t "Aviso: cierre la ventana abierta" crlf) )
y los siguientes hechos afirmados:
(ventana (ubicacion S1) (estado abierta))
(ventana (ubicacion S2) (estado cerrada))
(ventana (ubicacion P1) (estado abierta))
podemos afirmar que la regla se activará sólo una vez.
Select one of the following: