SBC_lab10_6decembrie

(deffacts student
	(student Marean AC 2 1401 pascani)
	(student Mihai AC 3 1401 pascani )
	(student Mihaita AC 3 1401 gainesti)
	(student Fane-Spoitoru AC 3 1402 pascani)
	(student Andreea AC 2 1402 vaslui)
	(student Ivanescu AC 3 1402 bucuresti )
	(student Eminescu TXT 3 1402 iasi )
	(caut-student 1401 pascani)
	)


; (defrule R10a
; ; ?a <- (caut-student ?x ?y)
; (student ?nume1 AC ? ?gr&1401|1402 ?dom&~iasi)
; (student ?nume2&~?nume1 AC ? ?gr ?dom | bucuresti)
; =>
; (printout t "Studentii " ?nume1 " si " ?nume2 " din grupa " ?gr	" indeplinesc conditiile cerute " crlf) )


; (defrule R10b
; (caut-student ?g ?d)
; (student ?nume AC ? ?g ?dom&~?d )
; =>
; (printout t "Student " ?nume " din grupa " ?g " nu are domiciuliu " ?d crlf) )

; (defrule R10c
; (caut-student ?g ?d)
; (student ?nume AC ? ?gr&~?g ?d )
; =>
; (printout t "Student " ?nume " din domiciliu " ?d " nu este din grupa " ?g crlf) )

; (defrule R10d
; ; ?a <- (caut-student ?x ?y)
; (caut-student ?g ?d)
; (student ?nume AC ? ?g ?d )
; =>
; (printout t "Student " ?nume " din domiciliu " ?d " este din grupa " ?g crlf) )

(defrule R10maijmk
(student ?nume ?f&~AC ?an&3|4 ?grupa iasi)
=>
(printout t "Student " ?nume " de la facultatea " ?f " anul " ?an " din grupa " ?grupa crlf )
)

(defrule R10simmaijmk
(student ?nume ?f&~AC ?an&3|4 ?grupa iasi)
(student ?nume2 ?f 2 ?grupa2 ?dom)
=>
(printout t "Student " ?nume2 " de la facultatea " ?f " anul " 2 " din grupa " ?grupa crlf )
)