a working version. problems might appear due to the exponential nature of the alg. please report if problems.
Merge branch 'master' of github.com:HIPERFIT/L0Language