Added CopyRight notice to Logic.hs
Add some parsing functions

There is still more parsing functions needed.