public void MatchVariableInteger() { MatchBody match = new MatchBody(new Variable("X"), new VariableExpression(new Variable("X"))); var context = match.MakeContext(123, null); Assert.IsNotNull(context); var result = match.Evaluate(context); Assert.IsNotNull(result); Assert.AreEqual(123, result); }
public void MatchAtoms() { MatchBody match = new MatchBody(new Atom("a"), new ConstantExpression(1)); var context = match.MakeContext(new Atom("a"), null); Assert.IsNotNull(context); var result = match.Evaluate(context); Assert.IsNotNull(result); Assert.AreEqual(1, result); }