Computer Science: An Overview (13th Edition) (What's New in Computer Science)
13th Edition
ISBN: 9780134875460
Author: Glenn Brookshear, Dennis Brylow
Publisher: PEARSON
expand_more
expand_more
format_list_bulleted
Question
Chapter 6.7, Problem 3QE
Program Plan Intro
Predicates in prolog:
- A program in prolog consists of single or more than one predicates.
- Each predicate devises more than single clause.
- A clause denotes a base clause if it is true unconditionally.
- The two clauses belong to same predicate if they have same name and count of arguments.
- A structure denotes a functor followed by zero or more arguments.
- The arguments are bounded in parenthesis in addition are separated by commas.
- A variable denotes a sequence of letters and digits that begins with capital letter.
Expert Solution & Answer
Want to see the full answer?
Check out a sample textbook solution
Students have asked these similar questions
Write a Prolog program that defines family relations in compliance with the following restrictions:
1. The program shall model a fragment of your own family. However, if required, you are allowed to make additions to or deletions from your family members or relations.
2. The program shall consist of only and only the procedures described below:
HEAD OF PROCEDURE: EXPLANATION:
father(X, Y) (X is Y’s father)
mother(X, Y) (X is Y’s mother)
parent(X, Y) (X is Y’s parent)
brother(X, Y) (X is Y’s brother)
sister(X, Y) (X is Y’s sister)
uncle(X, Y) (X is Y’s uncle)
grand_uncle(X, Y) (X is Y’s grand uncle)
male(X) (X is male)
female(X) (X is female)
PS: Take one’s uncle to be a brother of his/her father or mother and one’s granduncle to be an uncle of his father or mother.
There are only three basic constructs in Prolog: facts, rules, and queries. A collection of factsand rules is called a knowledge base (or a database).If we have given multiple facts likemale(harry).female(jess).parent_of(jack,jess).
Can you make the rules about?
1. father_of(X,Y):-2. mother_of(X,Y):-3. grandfather_of(X,Y):-4. grandmother_of(X,Y):-
Write a single rule in the below Prolog program to have the answer shown in the result window. The comments are provided to give you a better understanding of the program.
greater(a,b). /* a is greater than b */
greater(b,c). /* b is greater than c */
/* Need to write a single rule*/
?- superGreater(a,c). /* is a greater than c? */
/* Result window*/
true
Chapter 6 Solutions
Computer Science: An Overview (13th Edition) (What's New in Computer Science)
Ch. 6.1 - In what sense is a program in a third-generation...Ch. 6.1 - We can summarize the imperative programming...Ch. 6.1 - Prob. 4QECh. 6.2 - Why is the use of a constant considered better...Ch. 6.2 - Prob. 2QECh. 6.2 - Prob. 3QECh. 6.2 - Identity some common control structures found in...Ch. 6.2 - What is the difference between an array and an...Ch. 6.3 - Prob. 1QECh. 6.3 - Prob. 2QE
Ch. 6.3 - Why do many programming languages implement I/O...Ch. 6.3 - Prob. 4QECh. 6.3 - Prob. 5QECh. 6.4 - Prob. 1QECh. 6.4 - What is a symbol table?Ch. 6.4 - What is the difference between a terminal and a...Ch. 6.4 - Prob. 4QECh. 6.4 - Prob. 5QECh. 6.4 - Prob. 6QECh. 6.5 - What is the difference between an object and a...Ch. 6.5 - Prob. 2QECh. 6.5 - Suppose the classes PartTimeEmployee and...Ch. 6.5 - What is a constructor?Ch. 6.5 - Why are some items within a class designated as...Ch. 6.6 - Prob. 1QECh. 6.6 - Prob. 2QECh. 6.6 - Prob. 3QECh. 6.7 - Prob. 2QECh. 6.7 - Prob. 3QECh. 6.7 - Prob. 4QECh. 6 - Prob. 1CRPCh. 6 - Translate the following Python program into the...Ch. 6 - Prob. 3CRPCh. 6 - Why was it necessary to identify the type of data...Ch. 6 - Prob. 6CRPCh. 6 - Suppose the function f expects two numeric values...Ch. 6 - Suppose f is a function that returns the result of...Ch. 6 - Prob. 9CRPCh. 6 - Summarize the distinction between a machine...Ch. 6 - John Programmer argues that the ability to declare...Ch. 6 - Summarize the distinction between declarative...Ch. 6 - Explain the differences between a literal, a...Ch. 6 - a. What is operator precedence? b. Depending on...Ch. 6 - Prob. 16CRPCh. 6 - What is the difference between the meaning of the...Ch. 6 - Draw a flowchart representing the structure...Ch. 6 - Prob. 19CRPCh. 6 - Prob. 20CRPCh. 6 - Draw a flowchart representing the structure...Ch. 6 - Rewrite the following program segment using a...Ch. 6 - Summarize the following rats-nest routine with a...Ch. 6 - Prob. 24CRPCh. 6 - Prob. 25CRPCh. 6 - Suppose the variable X in a program was declared...Ch. 6 - Prob. 27CRPCh. 6 - Why would a large array probably not be passed to...Ch. 6 - Sometimes an actual parameter is passed to a...Ch. 6 - Prob. 32CRPCh. 6 - What ambiguity exists in the statement X = 3 + 2 ...Ch. 6 - Suppose a small company has five employees and is...Ch. 6 - Prob. 35CRPCh. 6 - Prob. 36CRPCh. 6 - Prob. 37CRPCh. 6 - Prob. 38CRPCh. 6 - Prob. 39CRPCh. 6 - Design a set of syntax diagrams that describes the...Ch. 6 - Prob. 41CRPCh. 6 - Prob. 42CRPCh. 6 - Add syntax diagrams to those in Question 5 of...Ch. 6 - Prob. 44CRPCh. 6 - What code optimization could be performed by a...Ch. 6 - Simplify the following program segment Y = 5 if (Y...Ch. 6 - Simplify the following program segment while (X !=...Ch. 6 - In an object-oriented programming environment, how...Ch. 6 - Describe how inheritance might be used to develop...Ch. 6 - What is the difference between the public and...Ch. 6 - a. Give an example of a situation in which an...Ch. 6 - Describe some objects that might be found in a...Ch. 6 - Prob. 53CRPCh. 6 - Prob. 54CRPCh. 6 - Prob. 55CRPCh. 6 - Prob. 56CRPCh. 6 - Prob. 57CRPCh. 6 - Prob. 58CRPCh. 6 - Prob. 59CRPCh. 6 - In general copyright laws support ownership rights...Ch. 6 - By using a high-level programming language, a...Ch. 6 - Prob. 3SICh. 6 - Prob. 4SICh. 6 - Prob. 5SICh. 6 - Suppose an amateur programmer writes a program for...Ch. 6 - Prob. 7SI
Knowledge Booster
Similar questions
- translate the following sentences into FOL (use Prover9 syntax). Use the following predicates: Is(x,y) where x is an animal and y is Mammal, Bird, Fish, Reptile, or Dolphin Warm_Blooded(x), Cold_Blooded(x) Lives_In(x,y), where x is an animal and y is a place, e.g. Sea a) An animal is warm-blooded if and only if it is a mammal or a bird. b) An animal is cold-blooded if and only if it is a fish or a reptile. c) Animals that live in the sea are either fish or mammals. d) An animal cannot be both warm-blooded and cold-blooded. e) Dolphins are warm-blooded. f) Dolphins live in the sea. g) Flipper is a Dolphin.arrow_forwardConsider the following prolog logic program: mother (mary, sue). father (john, sue). mother (mary, bill). father (john, bill). mother (sue, nancy). father (bob, nancy). mother (sue, jeff). father (bob, jeff). mother (jane, ron). Father(bill,ron). Parent(A,B) :- father(A,B). Parent (A,B) :- mother(A,B). Grandparent(C,D) :- parent(C,E), parent(E,D). Add a sibling relationship to the above program and answer the following question: ?- sibling(sue, X).arrow_forwardCreate Prolog rules for the following predicates and write them in the space provided: mother, father, daughter, son, brother ,sister, sibling, grandchild, grandparent, aunt, uncle, niece, nephew, ancestor, grandson, granddaughter, grandfather, grandmother, mother-in-law Add the rules and Test each of them in Prologarrow_forward
- Can someone write a prolog program using prolog facts and rules to solve the following? "A woman points to a portrait of a man, saying: "his brother's father is the only son of my grandfather." What's the relationship of the woman and the man in the portrait? Can you create some facts and one rule to identify the relationship between the woman and the man in the portrait?"arrow_forwardPrint the given statement in prolog. "Currently learning module 1 of prolog".arrow_forwardQuestion 9 nag .A tautology is a logical expression whose value is true regardless of the values of its propositional variables. Simple examples of tautologies are: true p + not(p) Write a prolog program to check that a logical expression is tautology Full explain this question and text typing work only We should answer our question within 2 hours takes more time then we will reduce Rating Dont ignore this linearrow_forward
- Prolog Problem Five schoolgirls sat for an examination. Their parents - so they thought - showed an undue degree of interest in the result. They, therefore, agreed that, in writing home about the examination, each girl should make one true statement and one untrue one. The following are the relevant passages from their letters: Betty Kitty was 2nd I was 3rd Ethel I was on top Joan was 2nd Joan I was 3rd Ethel was last Kitty I came out 2nd Mary was only 4th Mary I was 4th Betty was 1st Write a prolog program to solve this puzzle. A completely working solution is required, i.e. all or nothing proposition.arrow_forwardPlease help Which of the following pairs cannot be unified (in prolog)?a. eats(fred, tomatoes, bread)=Whateverb. eats(fred, tomatoes) = eats(What, What)c. eats(fred, tomatoes) = eats/(Whom, What)d. eats(fred, tomatoes, bread) = eats(Whom, What, Bread)arrow_forwardFind the context free rules and hence the Context Free Grammar for the following sentences: 1. I want a morning flight 2. I want a flight from Nagpur to Mumbai 3. Show me the cheapest flight with lunch 4. Do any of these flights have stops? 5. Which flights serve breakfast?arrow_forward
- Write a prolog program that have 2 predicates: One converts centigrade temperatures to Fahrenheit, The other checks if a temperature is below freezing: if yes print statement (using write) "Today is too cold wear your jacket What is the output of the following? • Is it freezing today if temperature 10◦? • How much centigrade if the Fahrenheit is 100?arrow_forwardWrite a PROLOG program that implements Zebra Puzzle Your program should implement the following facts for your answer. 1.There are five houses. 2.The Englishman lives in the red house. 3.The Spaniard owns the dog. 4.Coffee is drunk in the green house. 5.The Ukrainian drinks tea. 6.The green house is immediately to the right of the ivory house. 7.The Old Gold smoker owns snails. 8.Kools are smoked in the yellow house. 9.Milk is drunk in the middle house. 10.The Norwegian lives in the first house. 11.The man who smokes Chesterfields lives in the house next to the man with the fox. 12.Kools are smoked in the house next to the house where the horse is kept. 13.The Lucky Strike smoker drinks orange juice. 14.The Japanese smokes Parliaments. 15.The Norwegian lives next to the blue house.arrow_forwardTranslate the following statement: "everyone who Betty loves loves someone who is happy" into predicate logic /predicate calculusarrow_forward
arrow_back_ios
SEE MORE QUESTIONS
arrow_forward_ios
Recommended textbooks for you
Database System ConceptsComputer ScienceISBN:9780078022159Author:Abraham Silberschatz Professor, Henry F. Korth, S. SudarshanPublisher:McGraw-Hill Education
Starting Out with Python (4th Edition)Computer ScienceISBN:9780134444321Author:Tony GaddisPublisher:PEARSON
Digital Fundamentals (11th Edition)Computer ScienceISBN:9780132737968Author:Thomas L. FloydPublisher:PEARSON
C How to Program (8th Edition)Computer ScienceISBN:9780133976892Author:Paul J. Deitel, Harvey DeitelPublisher:PEARSON
Database Systems: Design, Implementation, & Manag...Computer ScienceISBN:9781337627900Author:Carlos Coronel, Steven MorrisPublisher:Cengage Learning
Programmable Logic ControllersComputer ScienceISBN:9780073373843Author:Frank D. PetruzellaPublisher:McGraw-Hill Education
Database System Concepts
Computer Science
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:McGraw-Hill Education
Starting Out with Python (4th Edition)
Computer Science
ISBN:9780134444321
Author:Tony Gaddis
Publisher:PEARSON
Digital Fundamentals (11th Edition)
Computer Science
ISBN:9780132737968
Author:Thomas L. Floyd
Publisher:PEARSON
C How to Program (8th Edition)
Computer Science
ISBN:9780133976892
Author:Paul J. Deitel, Harvey Deitel
Publisher:PEARSON
Database Systems: Design, Implementation, & Manag...
Computer Science
ISBN:9781337627900
Author:Carlos Coronel, Steven Morris
Publisher:Cengage Learning
Programmable Logic Controllers
Computer Science
ISBN:9780073373843
Author:Frank D. Petruzella
Publisher:McGraw-Hill Education