Development of Prolog based generic knowledge base for tax regulations, including reasoner, editor and other tools; also includes first implementation of LogicalEnglish
Primary LanguagePrologApache License 2.0Apache-2.0