Computer Science

Use Prolog to solve the following jobs puzzle: “Jim, Jack, and Joan hold three jobs between them. Each has one job. The jobs are schoolteacher, piano player, and secretary. The job of a schoolteacher is held by a male. Jack never went to college and has no musical talent.” Once again, you need to present Prolog with additional world knowledge. For example, Prolog does not know that Joan is a woman’s name or that Jim and Jack are male.

Use Prolog to solve the jobs puzzle from Section 3 of Chapter 1: Prolog can be downloaded from the Web. SWI Prolog is recommended. “There are two people, Michael and Louis. Between them they hold two jobs. Each has one job. These jobs are Post Office Clerk and French Professor. Michael speaks only English, whereas Louis holds a PhD in French. Who holds which job?”

Don't use plagiarized sources. Get Your Custom Essay on
Computer Science
Just from $13/Page
Order Essay

Use resolution to determine if the following arguments in the FOPL are valid. Use the predicates suggested:

a. All Italian mothers can cook. (M, C) All cooks are healthy. (H) Either Connie or Jing Jing is an Italian mother. Jing Jing is not an Italian mother. Therefore, Connie is healthy.

b. All New Yorkers are cosmopolitan. (N, C) All cosmopolitan people are friendly. (F) Either Tom or Nick is a New Yorker. Nick is not a New Yorker.

c. Anyone who drinks green tea is strong. (T, S) Anyone who is strong takes vitamins. (V) Someone at City College drinks green tea. (C) Therefore, everyone at City College drinks green tea and is strong.

Place Order
Grab A 14% Discount on This Paper
Pages (550 words)
Approximate price: -
Paper format
  • 275 words per page
  • 12 pt Arial/Times New Roman
  • Double line spacing
  • Any citation style (APA, MLA, Chicago/Turabian, Harvard)

Try it now!

Grab A 14% Discount on This Paper

Total price:
$0.00

How it works?

Follow these simple steps to get your paper done

Place your order

Fill in the order form and provide all details of your assignment.

Proceed with the payment

Choose the payment system that suits you most.

Receive the final file

Once your paper is ready, we will email it to you.