regenerating datalog_expanded in exa from the compact original
documenting each rule in datalogplus_min with its (minimal) anchor sublanguage
Merge pull request #69 from greenTara/1.01-dev

1.01 dev