public override Boolean IsAppear(_Term p)
{
Boolean flag = false;
if (p.GetType() == _TypeOfTerm.COMPOSITE)
{
return(false);
}
for (int i = 0; i < mComponents.Count; ++i)
{
_Term temp = (_Term)mComponents[i];
if (temp.GetType() == _TypeOfTerm.COMPOSITE)
{
flag = temp.IsAppear(p);
}
else
{
flag = temp.CompareTo(p);
}
if (flag == true)
{
return(true);
}
}
return(false);
}
public override Boolean CompareTo(_Term p)
{
if (p.GetType() != _TypeOfTerm.COMPOSITE)
{
return(false);
}
if (Name != p.Name)
{
return(false);
}
_Composite temp = (_Composite)p;
if (mComponents.Count != temp.mComponents.Count)
{
return(false);
}
for (int i = 0; i < mComponents.Count; ++i)
{
_Term temp1 = (_Term)mComponents[i];
_Term temp2 = (_Term)temp.mComponents[i];
if (temp1.CompareTo(temp2) == false)
{
return(false);
}
}
return(true);
}
private Boolean Run(_Term x, _Term y, ref _MGU s)
{
if (x.CompareTo(y))
{
return(true);
}
else
if (x.GetType() == _TypeOfTerm.VARIABLE)
{
return(Unify_var((_Variable)x, y, ref s));
}
else
if (y.GetType() == _TypeOfTerm.VARIABLE)
{
return(Unify_var((_Variable)y, x, ref s));
}
else
if (x.GetType() == _TypeOfTerm.COMPOSITE && y.GetType() == _TypeOfTerm.COMPOSITE)
{
if (x.Name != y.Name)
{
return(false);
}
_Composite comX = (_Composite)x;
_Composite comY = (_Composite)y;
if (comX.Count != comY.Count) // Khong cung toan tu
{
return(false);
}
for (int i = 0; i < comX.Count; ++i)
{
_Term tempArrX = comX[i].Replace(s);
_Term tempArrY = comY[i].Replace(s);
if (Run(tempArrX, tempArrY, ref s) == false)
{
return(false);
}
}
return(true);
}
else // x hoac y la hang
{
return(false);
}
}
private ArrayList _GetListOfVariable2(_Composite p)
{
ArrayList result = new ArrayList();
for (int i = 0; i < p.mComponents.Count; ++i)
{
_Term temp = (_Term)p.mComponents[i];
if (temp.GetType() == _TypeOfTerm.VARIABLE)
{
Boolean flag = false;
for (int j = 0; j < result.Count; ++j)
{
_Term te = (_Term)result[j];
if (temp.CompareTo(te))
{
flag = true;
break;
}
}
if (flag == false)
{
result.Add(temp);
}
}
else
if (temp.GetType() == _TypeOfTerm.COMPOSITE)
{
ArrayList t = _GetListOfVariable2((_Composite)temp);
for (int j1 = 0; j1 < t.Count; ++j1)
{
Boolean flag = false;
_Term temp1 = (_Term)t[j1];
for (int j = 0; j < result.Count; ++j)
{
_Term te = (_Term)result[j];
if (temp1.CompareTo(te))
{
flag = true;
break;
}
}
if (flag == false)
{
result.Add(temp1);
}
}
}
}
return(result);
}
public Boolean IsBelong(_Term x)
{
return(mArg2.CompareTo(x));
}
private void Run(ArrayList goals, _MGU theta)
{
#region if (goals.Count == 0)
if (goals.Count == 0)
{
mResult.Add(theta);
ArrayList ListVariable = mG.GetListOfVariable();
_MGU result = new _MGU();
#region for (int j = 0; j < ListVariable.Count; ++j) : thay tap the thanh ket qua cuoi cung
for (int j = 0; j < ListVariable.Count; ++j)
{
_Variable val = (_Variable)ListVariable[j];
result.Add(new _Element(new _Variable(val.Name.Replace("?", "")), val.Replace(theta)));
}
#endregion
#region Kiem tra ket qua vua tim duoc da co hay chu
Boolean flag = false;
for (int i = 0; i < mResult.Count; ++i)
{
_MGU temp = (_MGU)mResult[i];
if (temp.CompareTo(result) == true)
{
flag = true;
break;
}
}
#endregion
if (flag == false) // Chi nhan cac ket qua chua co
{
mResult.Add(result);
}
return;
}
#endregion
_Term firstGoals = (_Term)goals[0];
_Term q1 = firstGoals.Replace(theta);
#region for (int i = 0; i < mKB.Count; ++i)
for (int i = 0; i < mKB.Count; ++i)
{
_Term q = mKB[i].Right;
_Unify u = new _Unify(q, q1);
_MGU Temptheta1; // Chua phep the cua viec dong nhat q1 voi q, co dang {x/y, y/A)
_MGU tempMGU = new _MGU(); // Chua phep the o dang trung gian, chi dung de the vao p1,...,pn, dang {x/x0, y/y0}
_MGU theta1 = new _MGU(); // Phep the that su (da thay doi ten bien) cua phep dong nhat q1 voi q, co dang {x0/y0, y0/A}
#region if (u.Run(out Temptheta1) == true)
if (u.Run(out Temptheta1) == true)
{
#region for (int j = 0; j < Temptheta1.Count; ++j) doi ten bien trong tap the de co tap the moi la theta1
ArrayList arrIndex = new ArrayList(); // Ghi nhan nhung bien nao xuat hien (tuc la bien count tang)
for (int j = 0; j < Temptheta1.Count; ++j)
{
#region if (theta.Find((_Term)Temptheta1[j].Arg1) != null)
// Neu bien da co trong theta (tuc la bien co lien quan den cac phep the khac),
// thi khong doi ten
if (theta.Find((_Term)Temptheta1[j].Arg1) != null)
{
theta1.Add(Temptheta1[j]);
continue;
}
#endregion
#region for (k = 0; k < mVariable.Count; ++k)
// Kiem tra xem bien cua Temptheta1[j] da xuat hien chua
int k;
Boolean flag = false;
for (k = 0; k < mVariable.Count; ++k)
{
_Item tempItem = (_Item)mVariable[k];
if (Temptheta1[j].Arg1.CompareTo(tempItem.val))
{
flag = true;
break;
}
}
#endregion
#region if (flag == false)
// Neu chua co bien thi them vao tap hop, con neu bien da xuat hien thi tang so lan xuat hien len 1 don vi
_Item ItemTemp;
if (flag == false)
{
ItemTemp = new _Item();
ItemTemp.val = new _Variable(Temptheta1[j].Arg1);
ItemTemp.Count = 0;
mVariable.Add(ItemTemp);
}
else
{
ItemTemp = (_Item)mVariable[k];
ItemTemp.Count++;
mVariable[k] = ItemTemp;
arrIndex.Add(k);
// Doi ten bien va dua vao tap theta1
}
// theta1.Add(new _Element(new _Variable(ItemTemp.val.Name + "_" + ItemTemp.Count.ToString()), Temptheta1[j].Arg2));
_Term tempArg2 = new _Variable(ItemTemp.val.Name + "_" + ItemTemp.Count.ToString());
theta1.Add(new _Element(Temptheta1[j].Arg1, tempArg2));
theta1.Add(new _Element((_Variable)tempArg2, Temptheta1[j].Arg2));
tempMGU.Add(new _Element(Temptheta1[j].Arg1, theta1[theta1.Count - 1].Arg1));
#endregion
}
#endregion
_MGU tempTheta = theta + theta1;
#region tempGoals = [p1,...,pn] | Rest(goals)
ArrayList tempGoals = new ArrayList();
#region for (int j = 0; j < mKB[i].Left.Count; ++j)
// Them p1,...,pn vao tempGoals, cac phan tu truoc khi them vao da duoc doi ten bien
for (int j = 0; j < mKB[i].Left.Count; ++j)
{
_Term t = (_Term)mKB[i].Left[j];
// tempGoals.Add(t.Replace(tempMGU));
tempGoals.Add(t.Replace(theta1));
}
#endregion
#region for (int j = 1; j < goals.Count; ++j)
// Them cac rest(goals) vao tempGoals, loai bo cac phan tu trung
for (int j = 1; j < goals.Count; ++j)
{
Boolean flag = false;
_Term t2 = (_Term)goals[j];
for (int k = 0; k < tempGoals.Count; ++k)
{
_Term t1 = (_Term)tempGoals[k];
if (t1.CompareTo(t2))
{
flag = true;
break;
}
}
if (flag == false)
{
tempGoals.Add(goals[j]);
}
}
#endregion
#endregion
Run(tempGoals, tempTheta);
#region for (int j = 0; j < arrIndex.Count; ++j)
// Giam bien count, chi ap dung cho nhung bien ma count thay doi
for (int j = 0; j < arrIndex.Count; ++j)
{
_Item ItemTemp;
int k = (int)arrIndex[j];
ItemTemp = (_Item)mVariable[k];
ItemTemp.Count--;
mVariable[k] = ItemTemp;
}
#endregion
}
#endregion
}
#endregion
}
