Go backward to 2 Interpretations and Models (with variables)
Go up to Top
Go forward to 4 Unification

3 Proofs and Logical Consequences (ground)

Given the knowledge base KB containing the clauses:

a <- b & d.
b <- e & f.
c <- h & e.
d <- e.
d <- b & g.
e <- h.
g <- c & d.
h.

Show how the bottom-up proof procedure works for this example. Show at each stage the value of C. Give all logical consequences of KB.
a isn't a logical consequence of KB. Explain what this means. Show why a isn't a logical consequence of KB.
g is a logical consequence of KB. Explain what this means. Give a top-down derivation for the query ?g.