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();
}