Inference Engine
Generalized Modus Ponens
Fast Algorithm
IRIT-UPS
