corrected name of sup Horn logic sublanguage
Merge pull request #47 from greenTara/1.01-dev

corrected name of sup Horn logic sublanguage