PPT Slide
Resolution theorem provers produce an explosion of unnecessary results while trying to prove a theorem.
Prolog, with its restricted clause forms, is GOAL-ORIENTED.
Its control strategy is a straightforward BACKTRACKING SEARCH.
Possible alternative rules or facts
possible alternatives of first subgoal.
Subgoals of first alternative