STRIPS(stateListstart, stateListgoals)
1.Set state = start
2.Set plan = []
3.Set stack = goals
4.while stack is not empty do
     1.STRIPS-Step()
5.Return plan

STRIPS-Step()
switch top of stack t:
1.case this a goal that matches state:
    1.pop stack
2.case this an unsatisfied conjunctive-goal:
    1.select an ordering for the sub-goals
    2.push the sub-goals into stack
3.case this a simple unsatisfied goal
    1.choose an operator op whose add-list matches t
    2.replace the twith op
    3.push preconditions of op to stack
4.case this an operator
    1.pop stack
    2.state = state + t.add-list -t.delete-list
    3.plan = [plan | t]