;Define the goal_test function
;If the state is a goal state return t
;  else return nil                     
(defun goal_test (state)
  (...)

;Define your operator functions
;Return a list of all possible states you can 
;  reach with that operator from that state  
;  (nil if no states are reachable)  
(defun ... (state)
  (...)

;Define your start state
(setq start ...)

;Define any global variables associated with the problem
(setq ... ...)

;Define a list of actions(operators)
;Some of these problems only have one action
(setq operators '(...))
  		
;To run your problem just type (solve state)
;If the problem is solvable, is should return a list
;  of states leading to a goal
;If not solvable, it should return nil