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));
}
protected string getPredicateHeadID(IAtom atom)
{
return(getPredicateHeadID(atom.GetNameID()));
}