예제 #1
0
        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();
        }
예제 #2
0
 public static void Rule(Clause lhs, CompoundTerm compoundTerm, OptionalRuleBody optionalBody)
 {
 }