Implementation the UNIFICATION algorithm

I want program that implements the UNIFICATION algorithm in AI in prolog language or any suitable language.


Write a well documented program that implements the UNIFICATION algorithm

Use the following pairs of Predicate Calculus formulas to test your program

Submit your program and the outcomes of the tests

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

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

ancestor(X,Y) and ancestor(bill,father(bill))

ancestor(X,father(X)) and ancestor(david,george))

q(X) and -q(a)

p(X,f(Y),b) and p(X,f(b),b)

Your program must be general enough so if I give you some more test pairs should work!

Kindly apply if you can do this task perfectly i needs within next maximum 6-7 hours.


Skills: PHP, Software Architecture

See more: unification algorithm, use of algorithm, use algorithm, test algorithm, program algorithm, apply algorithm, Ancestor , algorithm test, algorithm software, algorithm b, Implementation of algorithm, calculus, architecture f, algorithm, ai prolog, algorithm work, php prolog, software algorithm, algorithm program, johnson algorithm java implementation, algorithm implementation, algorithm java implementation wireless, write algorithm, algorithm php, process scheduling algorithm java implementation

About the Employer:
( 6 reviews ) Ajman, United Arab Emirates

Project ID: #4217450

2 freelancers are bidding on average $85 for this job


Hello, I have experience in logical algorithms such as expression parsing, substitution, simplifcation etc. I am also familiar with Prolog basics. I can do this in PHP or C#. C# would be preferable for me. I can do More

$200 USD in 1 day
(122 Reviews)

Hi, Is it okay if i do it i

$70 USD in 10 days
(1 Review)

I can do this but need some time to understand. You put me under query.

$100 USD in 2 days
(0 Reviews)