Another useful method for new applications is to work backward.
对于新的应用程序，另一种有用的方法是反向推导。
2
The go method, defined in Listing 4, will allow us to move backward and forward in the stack.
清单4中定义的go方法允许我们在堆栈中来回移动。
3
In reasoning mechanism, two kinds of strategy: heuristic forward and backward reasoning method are adopted, and blackboard structure which is a common dynamic data area being applied.