Unify() public method

public Unify ( AbstractTerm term ) : bool
term AbstractTerm
return bool
StructureTerm Class Documentation
Example #1
0
        public void Unify_str_con()
        {
            ConstantTerm term = new ConstantTerm("ali");
            StructureTerm s = new StructureTerm("s", 2);

            Assert.IsFalse(s.Unify(term));
        }
Example #2
0
        public void Unify_str_ref_str()
        {
            StructureTerm s1 = new StructureTerm("s", 1);
            s1.Next = new AbstractTerm();

            StructureTerm s2 = new StructureTerm("s", 1);
            s2.Next = new ConstantTerm("ali");

            Assert.IsTrue(s1.Unify(s2));

            Assert.AreEqual(s1[0].Data(), s2[0].Data());
        }
Example #3
0
        public void Unify_str_ne_str()
        {
            StructureTerm s1 = new StructureTerm("s", 2);
            s1.Next = new ConstantTerm("ali");
            s1.Next.Next = new ConstantTerm("samir");

            StructureTerm s2 = new StructureTerm("s", 2);
            s2.Next = new ConstantTerm("samir");
            s2.Next.Next = new ConstantTerm("samir");

            Assert.IsFalse(s1.Unify(s2));
        }
Example #4
0
        public void Unify_str_ref()
        {
            AbstractTerm term = new AbstractTerm();
            StructureTerm s = new StructureTerm("s", 2);

            Assert.IsTrue(s.Unify(term));

            Assert.AreEqual(term.Arity, s.Arity);
            Assert.AreEqual(term.Name, s.Name);
        }
Example #5
0
        public void Unify_str_lis()
        {
            StructureTerm s = new StructureTerm("s", 2);
            ListTerm l = new ListTerm();

            Assert.IsFalse(s.Unify(l));
        }