Stanford Research Institute Problem Solver - What is a strip operator?

In STRIPS, a world model is r~presented by a set of well- formed formulas (wffs) of the first-order predicate calculus. Operators are the basic elements from which a solution is built. For robot. problems, each operator ~orresponds to an action routine 2 whose execution causes a robot to take certain actions.