oriented-object first order logic drools resonning
Tout plus