コード例 #1
0
        public Form1()
        {
            InitializeComponent();
            cmbSampleInit();
            cmbExample.SelectedIndex = 0;

            Goal   g = Goal.Decompose("<-- r(a), r(a)");
            Clause c = Clause.Decompose("r(c)");

            Substitution th = Solver.Unify(g.literal[0], c.literal[0]);

            //g = Goal.ApplySubstitution(g, th);

            //txtOutput.Text = g.Compose();
        }