Basic implementation of General Problem Solver algorithm. Untested, does not fix many problems. The algorithm is abstract: you can provide your own type of goals and operations.