3 Mar 2004
CS3243 - Inference
36
Properties of backward chaining
lDepth-first recursive
proof search: space is linear
in size of proof
lIncomplete
due to infinite loops
¡Þ fix by checking
current goal against every goal on stack
lInefficient due to
repeated subgoals (both success
and failure)
¡Þ fix
using caching of previous results (extra space)
lWidely used
for logic
programming