Working on bakward chaining. Still not compelet
backward chaining improved

* Still not totally done