UNIFICATION IN THE MODEL OF INFERENCE
We propose a new inference engine, equal to the resolution method by expressiveness. This mechanism is implemented by software. It is possible to use both the new mechanism and proposed a generalization of the resolutions by introducing the structure. This structure allows the use at each step of inference one or the other method and means of simplification. It would give more efficient inference.