Discrete Mathematics and Its Applications, Seventh Edition

Published by McGraw-Hill Education
ISBN 10: 0073383090
ISBN 13: 978-0-07338-309-5

Chapter 1 - Section 1.4 - Predicates and Quantifiers - Exercises - Page 56: 55

Answer

a) Yes b) No c) Juana and Kiko d) math273 and cs301 e) Juana and Kiko

Work Step by Step

a) YES instructor(chan,math273) is a fact given to Prolog and Prolog then returns ?instructor(chan,math273) as yes. b) NO instructor(patel,cs301) is not a fact given to Prolog and Prolog then returns ?instructor(patel,cs301) as no. c) Juana and Kiko Prolog will determine every student that is enrolled in cs301 d) math273 and cs301 Prolog will determine every course that student Kiko is enrolled in. e) Juana and Kiko Prolog will determine the students that the teacher Grossman teaches.
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.

GradeSaver will pay $15 for your literature essays
GradeSaver will pay $25 for your college application essays
GradeSaver will pay $50 for your graduate school essays – Law, Business, or Medical
GradeSaver will pay $10 for your Community Note contributions
GradeSaver will pay $500 for your Textbook Answer contributions