10.6 Why do you think that Prolog includes no heuristics for guiding the search for a solution to the query?

10.8 We wouldn't want a semantic network to contain both Age(Bill, 12) and Age(Bill, 10), but its fine if it contains both Friend(Bill, Opus) and Friend(Bill, Steve). Modify the functions in Figure 10.10 so that they make the distinction between logical functions and logical relations, |
and treat each properly.