Forward Chaining and Backward Works