pass to Marcus Triska

Ch2.5 monkey and banana

Ch2 declarative meaning

recursion bot-top test, ex1.6

Ch2.5 monkey and banana

recursion implementation

Ch1 exercises 1.3 to 1.5

pass to Ivan Bratko

unification and proof

chap_1 exercises

facts, rules and queries