+ /// <summary>Evaluate a term in a specific domain.</summary>
+ /// <param name='domain'>Domain to evaluate the term in.</param>
+ /// <param name='term'>The term to evaluate.</param>
+ /// <returns>The result of evaluating the <paramref
+ /// name="term"/>.</returns>
+ public static Term Eval (Domain domain, Term term)
+ {
+ return Eval (domain, new Term[] { term });
+ }
+
+ /// <summary>Evaluate terms in a specific domain.</summary>
+ /// <param name='domain'>Domain to evaluate terms in.</param>
+ /// <param name='terms'>Array of terms to evaluate.</param>
+ /// <returns>The result of evaluating the last term of <paramref
+ /// name="terms"/>.</returns>