Exercise 1: The Smart Phone Rivalry
SumSum, a competitor of Appy, developed some nice smart phone technology called Galactica-S3, all of which was stolen by Stevey, who is a Boss. It is unethical for a Boss to steal business from rival companies. A competitor of Appy is a rival. Smart phone technology is a business.
1. Translate the natural language statements above describing the dealing within the Smart Phone industry in to First Order Logic, (FOL).
2. Write these FOL statements as Prolog clauses.
3. Using the prolog search engine, prove that Stevey is unethical. Show a trace of your proof.
Exercise 2: The Royal Family
The old Royal succession rule states that the throne is passed down along the male line
according to the order of birth before the consideration along the female line – similarly
according to the order of birth. Queen Elizabeth, the monarch of United Kingdom, has
four offsprings; namely:- Prince Charles, Princess Ann, Prince Andrew and Prince
Edward – listed in the order of birth.
1. Define their relations and rules in a prolog rule base. Hence, define the old Royal
succession rule. Using this old succession rule determine the line of succession
based on the information given. Do a trace to show your results.
2. Recently, the Royal succession rule has been modified. The throne is now passed
down according to the order of birth irrespective of gender. Modify your rules and
prolog knowledge base to handle the new succession rule. Explain the necessary
changes to the knowledge needed to represent the new information. Use this new
succession rule to determine the new line of succession based on the same
knowledge given. Show your results using a trace.
Hello, dear sir!
I have registered on the forum not long ago and I have yet completed projects to www.freelancer.com. I am ready to carry out your project in the minimum price and in the shortest possible time and with the highest quality!
From the Prolog, of course, familiar.
Give me a chance to show what I can do!
$45 SGD in 3 days
4.8 (12 reviews)
3.4
3.4
2 freelancers are bidding on average $123 SGD for this job
Hello Sir,
The price is negotiable.
I am a computer science tutor, I teach (among others) Prolog and Algorithms.
I have done many projects like this, and I'm one of the top Prolog developers, and you can check by clicking on my profile picture.
Please contact me for more details when possible.
I look forward to work for you Sir.
Best Regards.