An achievement by part method to solve the incompleteness of forward chaining.