Computational Intelligence - Problems for Chapter 2 -- Solution to part (b)

Go backward to Solution to part (a)
Go up to 5 Proofs (with variables)

Solution to part (b)

Are there any other answers? If so, explain where a different choice could be made in the derivation in the previous answer, and continue the derivation showing another example. If there are no other answers explain why not.

Yes, there is one more answer (if you weren't sure you should have run the program!).

   at *** choose clause 2 under
   {T2/c(b,T3),L/c(b,c(Y,E1)),H/b,R/c(b,c(a,emp)),T/T3}
yes(Y) <- ap(T3,c(b,c(Y,E1)),c(b,c(a,emp)))
   choose clause 1 under {T3/emp,L/c(b,c(a,emp)),Y/a,E1/emp}
yes(a) <-