Math Is Fun Forum

kev

Guest

Can anybody help with these questions ASAP??

Can anybody help me with either of these questions? I am totally stuck with them and need to get them done asap.

Testify whether formulas

pr(f(Y,X),g(Y,s))  and pr(f(Y,Y),g(likes(b,c),s)) are unifiable
     

Testify whether formulas

pred(f(Y,X),g(Y,s))  and pred(f(Y,Y),g(likes(b,Y),s)) are unifiable

kev

Guest

Re: Can anybody help with these questions ASAP??

anyone?

kev

Guest

Re: Can anybody help with these questions ASAP??

Anyone? I really need to work this out

Ricky

Moderator

Registered: 2005-12-04

Posts: 3,791

Re: Can anybody help with these questions ASAP??

The equations are meaningless.  You need to tell us what subject you are studying and what they represent (if they are anything more than symbols).

---

"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

kev

Guest

Re: Can anybody help with these questions ASAP??

it is from a prolog subject they are logic questions

John E. Franklin

Member

Registered: 2005-08-29

Posts: 3,588

Re: Can anybody help with these questions ASAP??

Seems hard to learn Prolog.  I've been reading for 30 minutes on it.
If number of arguments are different, then it is not unifiable I read.
There's more to it...

---

igloo myrtilles fourmis

kev

Guest

Re: Can anybody help with these questions ASAP??

Thank you for reading up on prolog, is anyone able to solve thse for me? I am really stuggling trying to find a answer