(deffacts lista_poczatkowa "Relacje rodzinne"
	(parent pam bob) ;Pam jest rodziecem boba
	(parent tom bob)
	(parent bob ann)
	(parent tom max)
	(parent bob pat)
	(parent pat jim)
	(female pam) ; Pam jest kobietą
	(female ann)
	(female pat)
	(male bob) ; Bob jest mężczyzną
	(male tom)
	(male max)
	(male jim)
	)
	
(defrule mother "x jest matką y"
	(parent ?x ?y) ; by default AND
	(female ?x)	
=> 	
	(assert (mother ?x ?y))
	(printout t ?x " jest matka " ?y crlf)
	)
	
	
(defrule father "x jest ojcem y"
	(parent ?x ?y) ; by default AND
	(male ?x)	
=> 	
	(assert (father ?x ?y))
	(printout t ?x " jest ojcem " ?y crlf)
	)