Читать книгу Declarative Logic Programming - Michael Kifer - Страница 5

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