3 Mar 2004
CS3243 - Inference
28
Backward chaining algorithm
l
l
l
l
l
l
l
lSUBST(COMPOSE(θ1, θ2), p) = SUBST(θ2, SUBST(θ1, p))