文档介绍：Springer
Berlin
Heidelberg
New York
Hong Kong
London
Milan
Paris
Tokyo
•
Programming
in Prolog
Fifth Edition
Springer
Prof. William F. Clocksin
Oxford Brookes University
Department puting
Wheatley Campus
Oxford 0X33 1HX, United Kingdom
Dr. Christopher S. Mellish
University of Edinburgh
Department of Artificial Intelligence
80 South Bridge
Edinburgh EH11HN, United Kingdom
ISBN 3-540-00678-8 Springer-Verlag Berlin Heidelberg New York
ISBN 0-387-00678-8 Springer-Verlag New York Berlin Heidelberg
ISBN 3-540-58350-5 4th Edition Springer-Verlag New York Berlin Heidelberg
Cataloging-in-Publication Data applied for
Clocksin, . (William F.), 1955-
Programming in Prolog: using the ISO standard/. Clocksin, . Mellish.-5th ed. .
Includes bibliographical references and index.
ISBN 3-540-00678-8 ()
(Computer program language) , . (Christopher S.), 1954-IL Title.
2003
'3—dc2i 2003044x77
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, reuse of illustrations, recitation,
broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication
of this publication or parts thereof is permitted only under the provisions of the German Copyright
Law of September 9, 1965, in its current version, and permission for use must always be obtained
from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law.
Springer-Verlag Berlin Heidelberg New York,
a member of Springer Science+Business Media
© Springer-Verlag Berlin Heidelberg 1981,1984,1987,1994,2003
Printed in Germany
The use of general descriptive names, registered names, trademarks, etc. in this publication does not
imply, even in the absence of a specific statement,