没有合适的资源?快使用搜索试试~ 我知道了~
Logic.Programming.In.Prolog.Using.The.ISO.Standard
5星 · 超过95%的资源 需积分: 0 10 下载量 33 浏览量
2015-01-22
16:58:22
上传
评论
收藏 10.03MB PDF 举报
温馨提示
试读
314页
Logic.Programming.In.Prolog.Using.The.ISO.Standard
资源推荐
资源详情
资源评论
Springer
Berlin
Heidelberg
New York
Hong Kong
London
Milan
Paris
Tokyo
WF.Clocksin
•
C.S.Mellish
Programming
in Prolog
Fifth
Edition
Springer
Prof.
William
F.
Clocksin
Oxford Brookes University
Department
of
Computing
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, W.F. (William F.), 1955-
Programming in Prolog: using the ISO standard/W.F. Clocksin, C.S. Mellish.-5th ed. p.cm.
Includes bibliographical references and index.
ISBN 3-540-00678-8 (alk.paper)
l.Prolog (Computer program language) I.Mellish, C.S. (Christopher S.), 1954-IL Title.
QA76.73.P76C57 2003
005.13'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
http://www.springer.de
© 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.
Printed on acid-free paper 41/3180X0 - 5 4 3 SPIN 12626533
Preface to the Fifth Edition
Since the previous edition
of Programming
in
Prolog,
the Prolog language has
been standardised by the International Organization for Standardization (ISO). Al-
though not all Prolog systems conform to the new standard, we
felt
it was necessary
to take the opportunity to update this book in accordance with the standard. We have
also introduced some new material, clarified some explanations, corrected a number
of minor
errors,
and removed appendices about Prolog systems that are now obsolete.
This book can serve several purposes. The aim
of
this book is not to teach the
art
of
programming as such. We feel that programming cannot be learned simply by
reading a book or by listening to a lecturer. You've got to do programming to learn it.
We hope that beginners without a mathematical background can learn Prolog from
this book, although in this case we would recommend that the beginner is taught by
a programmer who knows Prolog, as part
of
a course that introduces the student to
programming as such. It is assumed that beginners can obtain the use
of
a computer
that has a Prolog system installed, and that they have been instructed in the use of
the computer. Experienced programmers should not require extra assistance, but we
hope they will not be dismayed at our intention to restrain mathematical elaboration.
In our experience, novice programmers find that Prolog programs seem to be
more comprehensible than equivalent programs in conventional
languages.
However,
the same people tend not to appreciate the limitations that conventional languages
place on their use
of
computing resources. On the other hand, programmers experi-
enced in conventional languages are better prepared to deal with abstract concepts
such as variables and control flow. But, in spite
of
this prior experience, they may
find Prolog difficult to adapt to, and they may need a lot
of
convincing before they
consider Prolog a
useful
programming tool.
Of
course, we know
of
many highly ex-
perienced programmers who have taken up Prolog with much enthusiasm. However,
the aim
of
this book is not to convert, but to teach.
Programming in Prolog can be a useful companion to two other books. The
beginner might use Programming in Prolog as a tutorial preliminary to the more
剩余313页未读,继续阅读
资源评论
- carrotshuan2015-05-21非常好,可以用!
- baidu_324768592018-09-03很好!zszs
QuantumStream
- 粉丝: 4
- 资源: 10
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功