P1 Lceva

(deffacts init
		(student SI AC V 1501 Iasi)
		(student FD M IV 1499 Iasi)
		(student LP AC V 1501 Iasi)
		(student XQ M II 1355 Iasi)
		(student KJ M V 1501 Iasi)
		(student RW M I 1628 Iasi)
)

(defrule R1
			( student ?nume M V ? ?dom)
			=>
			(printout  t ?nume " de la facultatea " M " are domiciliul in "?dom  crlf)
)