Example #1
0
        public void AddAuthorityFact(FactBuilder f)
        {
            Term.Symbol authority_symbol = new Term.Symbol("authority");
            if (f.Predicate.Ids.Count == 0 || !(f.Predicate.Ids[0].Equals(authority_symbol)))
            {
                List <Term> ids = new List <Term>
                {
                    authority_symbol
                };
                ids.AddRange(f.Predicate.Ids);
                f.Predicate.Ids = ids;
            }

            this.Facts.Add(f.Convert(this.Symbols));
        }
Example #2
0
 public void AddFact(FactBuilder f)
 {
     this.facts.Add(f.Convert(this.symbols));
 }