public void AddAuthorityRule(RuleBuilder rule) { Term.Symbol authority_symbol = new Term.Symbol("authority"); if (rule.Head.Ids.Count == 0 || !(rule.Head.Ids[0].Equals(authority_symbol))) { rule.Head.Ids.Insert(0, authority_symbol); } this.Rules.Add(rule.Convert(this.Symbols)); }
public void AddRule(RuleBuilder rule) { this.rules.Add(rule.Convert(this.symbols)); }