Answer to Question #4507 in Prolog for Dee

Question

1. Consider the following Horn clauses.

b(x, t) <- t is x-2.

a(0, 1) <- .

a(x, y) <- x > 0, b(x, y).


Using cancellation and unification, show how each of the following queries resolve.

<-a(5,m).

<-a(0,b).