AI question

[zak100]

Hi,

Can I unify the following arguments?

 

p(X, X) and p(a, Z)

 

Here 'X' is a variable and 'a' is a constant. We can unify them but can we  unify 2nd argument which is again 'X' with a variable 'Z'. Previously we unified 'X' with a constant and now we have to unify 'X' with a variable, I think its not allowed.

 

Similarly for:

p(X, X) and p(a,b)

Now we have to unify 'X' with two different constants. I don't think this is possible. 

 

Somebody please guide me.

 

Zulfi.