General Search Algorithm Sketch

Here is the general control structure for the general search algorithm. Note the use of recursion (general-search-1) to achieve looping behaviour.

general-search :-
   initialise-queue,,
   general-search-1.

general-search-1 :-
   choose-unexplored,
   general-search-2.

general-search-2 :-
   test-goal-success,
   construct-solution.

general-search-2 :-
   test-goal-fail,
   expand,
   enqueue,
   general-search-1.

Mike Rosner (mros@cs.um.edu.mt)

Last modified: Fri Apr 18 15:59:54 MET DST