Añadido el algoritmo Backward Chaining
Merge branch 'master' of https://github.com/lucasgp/cait-si