Question: 1. Convert following sentences into facts used in Prolog program. John is the father of Susan. John is the husband of Martha. Susan eats oranges.

1. Convert following sentences into facts used in Prolog program.

John is the father of Susan.

John is the husband of Martha.

Susan eats oranges.

John bought pizza for Martha.

Susan is tired.

John eats a pepperoni pizza.

X and Y are parents of Z if X is the mother of Z and Y is the father of Z

Sparky barks at anyone who walks quickly.

A equals B

A does not equal B

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!

Q:

James did not get a place on the Olympic team therefore either Gavin did not run well or Rasheed did his personal best. Gavin ran his personal best unless James got a spot on the Olympic team....

Q:

Question 5 [ 2 pts ] : Complete the truth table in Figure 5 . \ table [ [ P , Q , notP,P ^ ^ Q , PvvQ , P = > notQ,P = > notQ ] , [ true , true,,,,, ] , [ false , true,,,,, ] , [ true , false,,,,, ]...

Q:

1) Convert following decimal numbers into binary: 100, 1000, 256, 27, 48, 112, 96, 1024 2) Convert following binary numbers into decimal numbers: 100, 101, 1100, 10101, 1111, 10000, 1111000, 110110...

Q:

1. The following sentences lack clarity. Revise these sentences to make the meaning clearer. a. The speed limit is somewhere between 50 and 60 mph. b. The tickets are to be distributed sometime next...

Q:

Q 1. Convert following numbers into number bases (radix) as indicated (5 x 3 = 15Marks) (a) (AF9.BC) = (.... .), (b) Compare Microprocessors & Microcontrollers with supporting block level diagram....

Q:

Q 1. Convert following numbers into number bases (radix) as indicated 15 Marks) (5 x 3 = ERRER LILLE (a) (AF9.BC), = ) (b) Compare Microprocessors & Microcontrollers with supporting block level...

Q:

1. Convert following Infix notations to Postfix and Prefix. (20 points) a) Show the postfix notation using stack: 2536+**5/2- b) Show the prefix notation using stack: (A-(B/C))*((D*E)-F)

Q:

Convert the following EBNF grammar to BNF: [ ] { ab } z { ze } x [y] z BNF: | | | ab | ab // 1 or more , HW3 Q1. how to convert it into 0 or more? z | ze xz | xyz HW3 Q2. How to convert it into 0 or...

Q:

Overview Please post questions regarding Boolean Logic Analyzing deductions using Euler Diagrams Euler Diagrams Logic Operators Instructions Add a new discussion topic in this forum (to do so, just...

Q:

Identify the best organizational pattern for a discussion of each of the subjects that follow. For example, a discussion of distance education and on-campus courses could be organized using the...

Q:

Another application of multisets is in tracking resources. Suppose that baking bread requires three units of flour, one unit of yeast, and one unit of salt: B = {3 Flour,1 Yeast,1 Salt}. Baking a...

Q:

A petition with 500 signatures is submitted to a colleges student council. The council president would like to deter-mine what proportion of those who signed the petition are actually registered...

Q:

What is the standard color sequence of a straight-through cable?

Q:

You can create a simple sart server by only using dart:io library? Trye or false

Q:

5. Do you believe that the views of others are legitimate (i.e., genuine, accurate, true) expressions of their positions? __ always __ usually __ occasionally __ seldom __ never true

Q:

1. Do you believe that in every conflict situation, mutually acceptable solutions exist or are available? __ always __ usually __ occasionally __ seldom __ never true

Q:

7. Do you believe that others are worthy of your trust? __ always __ usually __ occasionally __ seldom __ never true