Go backward to
Solution to Question 1, part (a)
Go up to
Question 1 [15 marks]
Go forward to
Solution to Question 1, part (c)
Solution to Question 1, part (b)
Here is a top-down derivation for the query
?g
, where we always select the leftmost atom to resolve against:
yes <- g yes <- c & d yes <- h & e & d yes <- e & d yes <- h & d yes <- d yes <- e yes <- h yes <-