Some code to do the backward chaining stuff

* Way too incomplete yet!!
Merge branch 'master' of github.com:LaurensRietveld/LODAnalysis