public void EmptyConjTest()
{
Pair a = Pair.Variable("a");
Goal g = new Conj(new Eq(a, Pair.Value("1")), new Eq(a, Pair.Value("2")));
AssertResults(new string[0, 0, 0], g);
g = new Conj(
new Disj(new Eq(a, Pair.Value("1")), new Eq(a, Pair.Value("2"))),
new Eq(a, Pair.Value("3"))
);
AssertResults(new string[0, 0, 0], g);
}
public void ConjTests()
{
Pair a = Pair.Variable("a");
Pair b = Pair.Variable("b");
Goal g = new Conj(new Eq(a, Pair.Value("the letter a")), new Eq(b, Pair.Value("the letter b")));
AssertResults(new string[, , ] {
{
{ "a", "the letter a" },
{ "b", "the letter b" }
}
}, g);
g = new Conj(new Eq(a, Pair.Value("the letter a")), new Eq(b, a));
AssertResults(new string[, , ] {
{
{ "a", "the letter a" },
{ "b", "the letter a" }
}
}, g);
}