Can somebody help me with this question please, since I can't figure it out how to work it.

Assume that the following rules and facts have been given and that they have been given in this order: 1. Bigger(cat,apple). 2. Bigger(house,truck). 3. Bigger(cat,cat). 4. Bigger(lion,cat). 5. Bigger(house,lion). 6. Bigger(truck,car). 7. Bigger_than(A,B):-bigger(A,B). 8. Bigger_than(A,B):-bigger(A,C),bigger_than(C,B). What is the result of executing the query bigger_than(truck,lion)?

This post has been edited by **sniper079**: 12 April 2009 - 02:19 PM