And both of forward and backward deductive inference are realized.

• 并实 现了正向与逆向两种推理机制。