예제 #1
0
        // Removes a literal from the belief base
        public bool Remove(Literal l)
        {
            Literal bl = Contains(l);

            if (bl != null)
            {
                if (l.HasSubsetAnnot(bl))
                {
                    if (l.HasAnnot(TPercept))
                    {
                        percepts.Remove(bl);
                    }
                    bool result = bl.DelAnnots((List <ITerm>)l.GetAnnots());
                    return(RemoveFromEntry(bl) || result);
                }
            }
            return(false);
        }