zak100 Posted October 20, 2020 Share Posted October 20, 2020 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. Link to comment Share on other sites More sharing options...
Recommended Posts
Create an account or sign in to comment
You need to be a member in order to leave a comment
Create an account
Sign up for a new account in our community. It's easy!
Register a new accountSign in
Already have an account? Sign in here.
Sign In Now