Axiom.Runtime.AbstractTerm.Unify C# (CSharp) Method

        public virtual bool Unify(AbstractTerm term)
        {
            if (IsAssigned())
            {
                return _containee.Unify(term);
            }

            // perform unification here
            if (this == term)
            {
                return true;
            }

            if (!term.IsReference)
            {
                this.Assign(term);
                return true;
            }
            else
            {
                this.Bind(term);
                return true;
            }
        }

        public override bool Unify(AbstractTerm term)
        {
            if (term.IsReference)
            {
                term.Assign(this);
                return(true);
            }
            if (term.IsList)
            {
                return(Head.Unify(term.Head) && Tail.Unify(term.Tail));
            }

            return(false);
        }