Development of Prolog based generic knowledge base for tax regulations, including reasoner, editor and other tools; also includes first implementation of LogicalEnglish
reasoner:myClause2/3 is not properly reading the KB from a Taxlog .pl file. Therefore, kp_loader:kp_predicate_mention/3 fails and the output is empty. Please, review and advise.