Foundations of Logic Programming
In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the s
- PDF / 25,226,867 Bytes
- 220 Pages / 481.89 x 685.984 pts Page_size
- 40 Downloads / 212 Views
L. Bole
P. Hayes A. Mackworth W. Wahlster
Springer Series SYMBOLIC COMPUTATION -Artificial Intelligence N.J. Nilsson: Principles of Artificial Intelligence. XV, 476 pages, 139 figs., 1982 J.H. Siekmann, G. Wrightson (Eds.): Automation of Reasoning 1. Classical Papers on Computational Logic 1957-1966. XXII. 525 pages, 1983 J.H. Siekmann, G. Wrightson (Eds.): Automation of Reasoning 2. Classical Papers on Computational Logic 1967-1970. XXII. 638 pages, 1983 L. Bole (Ed.): The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks. XI, 214 pages, 72 figs., 1983
R.S. Michalski, J.G. Carbonell, T.M. Mitchell (Eds.): Machine Learning. An Artificial Intelligence Approach. XI, 572 pages, 1984 L. Bole (Ed.): Natural Language Communication with Pictorial Information Systems. VII, 327 pages, 67 figs., 1984
J. W. Lloyd: Foundations of Logic Programming. X, 124 pages, 1984; Second, extended edition, XII, 212 pages, 1987 A. Bundy (Ed.): Catalogue of Artificial Intelligence Tools. XXV, 150 pages, 1984. Second, revised edition, IV, 168 pages, 1986 M. M. Botvinnik: Computers in Chess. Solving Inexact Search Problems. With contributions by A. I. Reznitsky, B.M. Stilman, M.A. Tsfasman, A. D. Yudin. Translated from the Russian by A. A. Brown. XIV, 158 pages, 48 figs., 1984 C. Blume, W. Jakob: Programming Languages for Industrial Robots. XIII, 376 pages,J45 figs., 1986 L. Bole (Ed.): Computational Models of Learning. IX, 208 pages, 34 figs., 1987 L. Bole (Ed.): :Natural Language Parsing Systems. Approx. 384 pages, 155 figs., 1987
IW Lloyd
Foundations of Logic Programming Second, Extended Edition
Springer-Verlag Berlin Heidelberg New York London Paris Tokyo
John Wylie Lloyd Department of Computer Science University of Melbourne Parkville Victoria 3052, Australia
ISBN-13:978-3-642-83191-1 e-ISBN-13:978-3-642-83189-8 DOl: 10.1007/978-3-642-83189-8 Library of Congress Cataloging in Publication Data. Lloyd, J. W. (John Wylie), 1947-. Foundations oflogic programming. (Symbolic computation. Artificial intelligence) Bibliography: p. Includes index. 1. Logic programming. 2. Programming languages (Electronic computers)-Semantics. I. Title. II. Series. QA76.6.L583 1987 005.187-20753 ISBN-13:978-3-642-83191-l (U.S.) This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in other ways, and storage in data banks. Duplication of this publication or parts thereof is only permitted under the provisions of the German Copyright Law of September 9, 1965, in its version of June 24,1985, and a copyright fee must always be paid. Violations fall under the prosecution act of the German Copyright Law. © J. W. Lloyd 1984,1987 Softcover reprint of the hardcover 2nd edition
2145/3140-543210
1987
To Susan, Simon and Patrick
PREFACE TO THE SECOND EDITION
In the two and a half years since the frrst edition of this book was published
