Declarative Logic Programming. Michael Kifer

Чтение книги онлайн.

      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

       books.acm.org

       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

       Preface

       PART I THEORY

       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

       Acknowledgments

       References

       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

       СКАЧАТЬ