文档介绍：Logic Programming with Prolog
Max Bramer
Logic Programming
with Prolog
Max Bramer, BSc, PhD, CEng, FBCS, FIEE, FRSA, ILTM
Department puter Science and Software Engineering
University of Portsmouth
United Kingdom
British Library Cataloguing in Publication Data
A catalogue record for this book is available from the British Library
Library of Congress Control Number: 2005923526
Apart from any fair dealing for the purposes of research or private study, or criticism or review,
as permitted under the Copyright, Designs and Patents Act 1988, this publication may be repro-
duced, stored or transmitted, in any form or by any means, with the prior permission in writing
of the publishers, or in the case of reprographic reproduction in accordance with the terms of
licenses issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside
those terms should be sent to the publishers.
ISBN-10: 1-85233-938-1
ISBN-13: 978-1852-33938-8
Springer Science+Business Media
© Max Bramer 2005
The use of 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 laws and regula-
tions and therefore free for general use.
The publisher makes no representation, express or implied, with regard to the accuracy of the
information contained in this book and cannot accept any legal responsibility or liability for any
errors or omissions that may be made.
Printed in the United States of America
34-543210 Printed on acid-free paper SPIN 11344445
Introduction
Logic Programming is the name given to a distinctive style of programming, very
different from that of conventional programming languages such as C++ and Java.
Fans of Logic Programming would say that 'different' means clearer, simpler and
generally better!
Although there are other Logic Programming languages, by far the most widely
used is Prolog. The name stands for Programming in Log