Stable Beta version of first order logic backward chaining.