文档介绍：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, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.