Statistics and MS Excel Expert Required

  • Status Closed
  • Budget $30 USD
  • Total Bids 2

Project Description


I needs someone who can Write a well documented program that implements the UNIFICATION algorithm whether in MS Excel.

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!

Get free quotes for a project like this

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