Пример #1
0
        public static IGroundedAtom GroundAtom(IAtom atom, ISubstitution substitution, State referenceState)
        {
            List <int> argumentsList = new List <int>();

            foreach (var term in atom.GetTerms())
            {
                argumentsList.Add(TermGrounder.Ground(term, substitution, referenceState));
            }
            return(new GroundedAtom(atom.GetNameID(), argumentsList));
        }
Пример #2
0
 protected string getPredicateHeadID(IAtom atom)
 {
     return(getPredicateHeadID(atom.GetNameID()));
 }