C# (CSharp) Facts.Sym示例

示例#1

        public void SymUU()
        {
            Facts.Clear();
            Tbool result = Facts.Sym(p1, "IsMarriedTo", p2);

            Assert.AreEqual("Unstated", result.Out);
        }

示例#2

        public void SymFU()
        {
            Facts.Clear();
            Facts.Assert(p1, "IsMarriedTo", p2, false);
            Tbool result = Facts.Sym(p1, "IsMarriedTo", p2);

            Assert.AreEqual(false, result.Out);
        }

示例#3

        public void SymTF()
        {
            Facts.Clear();
            Facts.Assert(p1, "IsMarriedTo", p2, true);
            Facts.Assert(p2, "IsMarriedTo", p1, false);                         // contradictory assertion
            Tbool result = Facts.Sym(p1, "IsMarriedTo", p2);

            Assert.AreEqual(true, result.Out);    // what is desired here? (or forbid contradictions)
        }

示例#4

        public void SymTT()
        {
            Facts.Clear();
            Facts.Assert(p1, "IsMarriedTo", p2, true);
            Facts.Assert(p2, "IsMarriedTo", p1, true);
            Tbool result = Facts.Sym(p1, "IsMarriedTo", p2);

            Assert.AreEqual(true, result.Out);
        }