-- --------------------------------------------------------------------------
CR .( First set of rules.) CR

'( MAMMAL  GIVES-MILK HAS-HAIR ) set-to rule1
'( GOAT  IS-BILLY ) set-to rule2
'( GOAT  MAMMAL HAS-HORNS ) set-to rule3
'( HAS-HAIR ) set-to fact1
'( HAS-HORNS ) set-to fact2
'( GIVES-MILK ) set-to fact3

'( @rule1 @rule2 @rule3 @fact1 @fact2 @fact3 ) set-to CLAUSES

   '( GOAT ) set-to GOALS
CR .( testing if ) goals -type .(  is possible given the facts: )
   goals clauses pSEARCH [IF] .( YES) [ELSE] .( NO) [THEN] .( .)

   '( MAMMAL ) set-to GOALS
CR .( testing if ) goals -type .(  is possible given the facts: )
   goals clauses pSEARCH [IF] .( YES) [ELSE] .( NO) [THEN] .( .)

   '( RUBBER-DUCKY ) set-to GOALS
CR .( testing if ) goals -type .(  is possible given the facts: )
   goals clauses pSEARCH [IF] .( YES) [ELSE] .( NO) [THEN] .( .)

CR .STAT CR
-- --------------------------------------------------------------------------
CR .( Second set of rules.) CR

'( GIVES-MILK ) 		set-to fact1
'( HAS-HAIR   ) 		set-to fact2
'( HAS-HORNS  ) 		set-to fact3
'( HAS-HAIR IS-GRUFFY ) 	set-to rule1
'( MAMMAL GIVES-MILK HAS-HAIR ) set-to rule2
'( GOAT IS-BILLY ) 		set-to rule3
'( GOAT IS-GRUFFY ) 		set-to rule4
'( GOAT MAMMAL HAS-HORNS ) 	set-to rule5

'( @rule1 @rule2 @rule3 @rule4 @rule5 @fact1 @fact2 @fact3 ) set-to CLAUSES
'( GOAT ) set-to GOALS

CR .( testing if ) goals -type .(  is possible given the second set of rules: )
   goals clauses pSEARCH [IF] .( YES) [ELSE] .( NO) [THEN] .( .)

CR .STAT CR
-- --------------------------------------------------------------------------
CR .( Entering animal database.) CR

'( IS-MAMMAL HAS-HAIR ) 			set-to rule1
'( IS-MAMMAL GIVES-MILK )	 		set-to rule2
'( IS-BIRD HAS-FEATHERS ) 			set-to rule3
'( IS-BIRD FLIES LAYS-EGGS )		 	set-to rule4
'( IS-CARNIVORE EATS-MEAT )	 		set-to rule5
'( IS-CARNIVORE HAS-POINTED-TEETH 
   HAS-CLAWS HAS-FORWARD-EYES ) 		set-to rule6
'( IS-UNGULATE IS-MAMMAL HAS-HOOFS )	 	set-to rule7
'( IS-UNGULATE IS-MAMMAL CHEWS-CUD ) 		set-to rule8
'( IS-CHEETAH IS-MAMMAL IS-CARNIVORE 
   HAS-TAWNY-COLOR HAS-DARK-SPOTS )	 	set-to rule9
'( IS-TIGER IS-MAMMAL IS-CARNIVORE 
   HAS-TAWNY-COLOR HAS-BLACK-STRIPES )		set-to rule10
'( IS-GIRAFFE HAS-LONG-NECK 
   HAS-LONG-LEGS HAS-DARK-SPOTS )	 	set-to rule11
'( IS-ZEBRA IS-UNGULATE HAS-BLACK-STRIPES )	set-to rule12
'( IS-OSTRICH IS-BIRD DOES-NOT-FLY 
   HAS-LONG-NECK HAS-LONG-LEGS ) 		set-to rule13
'( IS-PENGUIN IS-BIRD DOES-NOT-FLY SWIMS 
   IS-BLACK-AND-WHITE ) 			set-to rule14
'( IS-ALBATROSS IS-BIRD FLIES-WELL ) 		set-to rule15

'( HAS-FEATHERS )	set-to fact1
'( FLIES-WELL ) 	set-to fact2

'( @rule1 @rule2 @rule3 @rule4 @rule5 @rule6 @rule7 @rule8 @rule9 @rule10 
   @rule11 @rule12 @rule13 @rule14 @rule15 @fact1 @fact2 )  set-to CLAUSES

'( IS-ALBATROSS ) set-to GOALS

CR .( testing if ) goals -type .(  is possible given the animal database )
CR .( plus fact1: ) fact1 -type .(  and fact2: ) fact2 -type .(  : )
   goals clauses pSEARCH [IF] .( YES) [ELSE] .( NO) [THEN] .( .)

CR .STAT