SBC_lab3

; (deffacts init
    ; (egal x 1)
    ; (egal y 1)
    ; (egal z 0)
    ; )





; (defrule R1
    ; (egal x 0)
    ; (egal y 0)
    ; (egal z 0)
    ; =>
    ; (assert (f 0))
    ; (printout t "f este , " 0)
; )

; (defrule R2
    ; (egal x 0)
    ; (egal y 0)
    ; (egal z 1)
    ; =>
    ; (assert (f 1))
    ; (printout t "f este" 1)
; )

; (defrule R3
    ; (egal x 0)
    ; (egal y 1)
    ; (egal z 0)
    ; =>
    ; (assert (f 0))
    ; (printout t "f este" 0)
; )

; (defrule R4
    ; (egal x 0)
    ; (egal y 1)
    ; (egal z 1)
    ; =>
    ; (assert (f 0))
    ; (printout t "f este" 0)
; )

; (defrule R5
    ; (egal x 1)
    ; (egal y 0)
    ; (egal z 0)
    ; =>
    ; (assert (f 0))
    ; (printout t "f este" 0)
; )

; (defrule R6
    ; (egal x 1)
    ; (egal y 0)
    ; (egal z 1)
    ; =>
    ; (assert (f 0))
    ; (printout t "f este" 0)
; )

; (defrule R7
    ; (egal x 1)
    ; (egal y 1)
    ; (egal z 0)
    ; =>
    ; (assert (f 1))
    ; (printout t "f este" 1)
; )
; (defrule R8
    ; (egal x 1)
    ; (egal y 1)
    ; (egal z 1)
    ; =>
    ; (assert (f 0))
    ; (printout t "f este" 0)
; )


 ; (defrule R1
     ; (egal x 1)
     ; (egal S 0)
    ; =>
    ; (retract *)
    ; (assert (egal S 2))
    ; (printout t "S0 se duce in " S2)
     ; )
   ; (defrule R2
     ; (egal x 0)
     ; (egal S 0)
    ; =>
    ; (retract *)
    ; (assert (egal S 1))
    ; (printout t "S0 se duce in " S1)
     ; )

     ; (defrule R3
     ; (egal x 0)
     ; (egal S 1)
    ; =>
    ; (retract *)
    ; (assert (egal S 1))
    ; (printout t "S1 se duce in " S1)
     ; )
  ; (defrule R4
     ; (egal x 1)
     ; (egal S 1)
    ; =>
    ; (retract *)
    ; (assert (egal S 0))
    ; (printout t "S1 se duce in " S0)
     ; )
  ; (defrule R5
     ; (egal x 0)
     ; (egal S 2)
    ; =>
    ; (retract *)
    ; (assert (egal S 3))
    ; (printout t "S2 se duce in " S3)
     ; )
  ; (defrule R6
     ; (egal x 1)
     ; (egal S 2)
    ; =>
    ; (retract *)
    ; (assert (egal S 2))
    ; (printout t "S2 se duce in " S2)
     ; )
      ; (defrule R7
     ; (egal x 0)
     ; (egal S 3)
    ; =>
    ; (retract *)
    ; (assert (egal S 3))
    ; (printout t "S3 se duce in " S3)
     ; )
      ; (defrule R8
     ; (egal x 1)
     ; (egal S 3)
    ; =>
    ; (retract *)
    ; (assert (egal S 0))
    ; (printout t "S3 se duce in " S0)
     ; )
(defrule R4
(este-in-stare-de-functiune calculatorul ?nume-calculator) =>
(assert (poate fi utilizat ?nume-calculator) )
(printout t "Gata de lucru " ?nume-calculator crlf ) )