oriented-object first order logic drools resonning
See more