private void SetTypes(AbstractTerm obj, object[] arguments)
{
AMHeap da = (AMHeap)runtime.DataArea;
AbstractTerm argObj = obj;
for (int i = 0; i < arguments.Length; i++)
{
AbstractTerm a = (AbstractTerm)argObj.Next;
argObj = (AbstractTerm)argObj.Next;
if (!a.IsObject)
{
// Need to check if unification is the apropriate method
a.Unify(new ConstantTerm(arguments[i].ToString()));
}
else
{
// Need to check if unification is the apropriate method
a.Unify(new ObjectTerm(arguments[i]));
}
}
}