Ejemplo n.º 1
0
        public override Boolean IsAppear(_Term p)
        {
            Boolean flag = false;

            if (p.GetType() == _TypeOfTerm.COMPOSITE)
            {
                return(false);
            }

            for (int i = 0; i < mComponents.Count; ++i)
            {
                _Term temp = (_Term)mComponents[i];
                if (temp.GetType() == _TypeOfTerm.COMPOSITE)
                {
                    flag = temp.IsAppear(p);
                }
                else
                {
                    flag = temp.CompareTo(p);
                }

                if (flag == true)
                {
                    return(true);
                }
            }
            return(false);
        }
Ejemplo n.º 2
0
        private Boolean Unify_var(_Variable var, _Term x, ref _MGU s)
        {
            _Element val;

            if ((val = s.Find(var)) != null)
            {
                return(Run(val.Arg2, x, ref s));
            }
            else
            if ((val = s.Find(x)) != null)
            {
                return(Run(var, val.Arg1, ref s));
            }
            else
            if (x.IsAppear(var) == true)
            {
                return(false);
            }
            else
            {
                s.Add(new _Element(var, x));
                return(true);
            }
        }