- Xex.debug_level = int.Parse (args[1]);
- Console.WriteLine (xex);
- Console.WriteLine (xex.Eval (domain));
+ Xex.TraceDepth = int.Parse (args[1]);
+ foreach (Xex.Term term in terms)
+ Console.WriteLine (term);
+ Console.WriteLine (Xex.Eval (domain, terms));