Computer Science: An Overview: Global Edition (12th Edition)

Published by Pearson Higher Education
ISBN 10: 1292061162
ISBN 13: 978-1-29206-116-0

Chapter 6 - Programming Languages - Section 6.7 - Declarative Programming - Questions & Exercises - Page 323: 2

Answer

No. The collection is inconsistent, because resolution can lead to the empty statement, as shown here:
1560969825

Work Step by Step

No. The collection is inconsistent, because resolution can lead to the empty statement, as shown here:
Small 1560969825
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.