Declarative Logic Programming. Michael Kifer
Чтение книги онлайн.
Читать онлайн книгу Declarative Logic Programming - Michael Kifer страница 2
Embracing Interference in Wireless Systems
Shyamnath Gollakota, University of Washington
2014
Declarative Logic Programming
Theory, Systems, and Applications
Michael Kifer
Stony Brook University
Yanhong Annie Liu
Stony Brook University
ACM Books #20
Copyright © 2018 by the Association for Computing Machinery and Morgan & Claypool Publishers
All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means—electronic, mechanical, photocopy, recording, or any other except for brief quotations in printed reviews—without the prior permission of the publisher.
Designations used by companies to distinguish their products are often claimed as trademarks or registered trademarks. In all instances in which Morgan & Claypool is aware of a claim, the product names appear in initial capital or all capital letters. Readers, however, should contact the appropriate companies for more complete information regarding trademarks and registration.
Declarative Logic Programming: Theory, Systems, and Applications
Michael Kifer, Yanhong Annie Liu, editors
www.morganclaypoolpublishers.com
ISBN: 978-1-97000-199-0 hardcover
ISBN: 978-1-97000-196-9 paperback
ISBN: 978-1-97000-197-6 eBook
ISBN: 978-1-97000-198-3 ePub
Series ISSN: 2374-6769 print 2374-6777 electronic
DOIs:
10.1145/3191315 Book
10.1145/3191315.3191316 Preface
10.1145/3191315.3191317 Chapter 1
10.1145/3191315.3191318 Chapter 2
10.1145/3191315.3191319 Chapter 3
10.1145/3191315.3191320 Chapter 4
10.1145/3191315.3191321 Chapter 5
10.1145/3191315.3191322 Chapter 6
10.1145/3191315.3191323 Chapter 7
10.1145/3191315.3191324 Chapter 8
10.1145/3191315.3191325 Chapter 9
10.1145/3191315.3191326 Chapter 10
10.1145/3191315.3191327 Index
A publication in the ACM Books series, #20
Editor in Chief: M. Tamer Özsu, University of Waterloo
Area Editor: Yanhong Annie Liu, Stony Brook University
This book was typeset in Arnhem Pro 10/14 and Flama using ZzTEX.
First Edition
10 9 8 7 6 5 4 3 2 1
To David Scott Warren, for his groundbreaking work on principles and systems for logic programming
Contents
Chapter 1 Datalog: Concepts, History, and Outlook
David Maier, K. Tuncay Tekle, Michael Kifer, David S. Warren
1.1 Introduction
1.2 The Emergence of Datalog
1.3 Coining “Datalog”
1.4 Extensions to Datalog
1.5 Evaluation Techniques
1.6 Early Datalog and Deductive Database Systems
1.7 The Decline and Resurgence of Datalog
1.8 Current Systems and Comparison
1.9 Conclusions
Chapter 2 An Introduction to the Stable and Well-Founded Semantics of Logic Programs
Miroslaw Truszczynski
2.1 Introduction
2.2 Terminology, Notation, and Other Preliminaries
2.3 The Case of Horn Logic Programs
2.4 Moving Beyond Horn Programs—An Informal Introduction
2.5 The Stable Model Semantics
2.6 The Well-Founded Model Semantics
2.7 Concluding Remarks