Closed

Implementation the UNIFICATION algorithm

This project received 3 bids from talented freelancers with an average bid price of $123 USD.

Get free quotes for a project like this
Employer working
Skills Required
Project Budget
$30 - $50 USD
Total Bids
3
Project Description

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

Details:
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.

Thanks

Looking to make some money?

  • Set your budget and the timeframe
  • Outline your proposal
  • Get paid for your work

Hire Freelancers who also bid on this project

    • Forbes
    • The New York Times
    • Time
    • Wall Street Journal
    • Times Online