| Properties of backward
chaining |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| l | Depth-first
recursive proof search: space is |
||||||||||||
| linear in size of
proof |
|||||||||||||
| l | Incomplete due to
infinite loops |
||||||||||||
| ¡ | fix by checking current goal against every goal on |
||||||||||||
| stack |
|||||||||||||
| l | Inefficient due
to repeated subgoals (both |
||||||||||||
| success and
failure) |
|||||||||||||
| ¡ | fix using caching of previous results (extra space) |
||||||||||||
| l | Widely used for logic programming |
||||||||||||
