"Planning problem" solver, using STRIPS notation and FSP(forward state propagation) algorith and Hanoi game as an example.