void btnEvaluate_Click(object sender, RoutedEventArgs e)
{
App.TerminalReader.Open(txtExpression.Text);
Prolog.Clause result = (Prolog.Clause)App.Parser.Parse(App.TerminalReader);
if (result != null)
{
//txtResult.Text = result.Value.ToString();
}
LinguaTrace.TraceSource.Flush();
}
public static void Rule(Clause lhs, CompoundTerm compoundTerm, OptionalRuleBody optionalBody)
{
}