Advertisement

Programming in Prolog

  • William F. Clocksin
  • Christopher S. Mellish
Book

Table of contents

  1. Front Matter
    Pages I-XIV
  2. William F. Clocksin, Christopher S. Mellish
    Pages 1-20
  3. William F. Clocksin, Christopher S. Mellish
    Pages 21-42
  4. William F. Clocksin, Christopher S. Mellish
    Pages 43-68
  5. William F. Clocksin, Christopher S. Mellish
    Pages 69-92
  6. William F. Clocksin, Christopher S. Mellish
    Pages 93-108
  7. William F. Clocksin, Christopher S. Mellish
    Pages 109-132
  8. William F. Clocksin, Christopher S. Mellish
    Pages 133-174
  9. William F. Clocksin, Christopher S. Mellish
    Pages 175-200
  10. William F. Clocksin, Christopher S. Mellish
    Pages 201-220
  11. William F. Clocksin, Christopher S. Mellish
    Pages 221-242
  12. William F. Clocksin, Christopher S. Mellish
    Pages 243-248
  13. Back Matter
    Pages 249-281

About this book

Introduction

Since the first edition of this book in 1981, Prolog has continued to attract an unexpectedly great deal of interest in the computer science community and has turned out to be a basis for an important new family of programming languages and systems for Artificial Intelligence. In the preceding three editions, the authors have steadily added new material, improved the presentation, and corrected various minor errors to provide a textbook as well as a reference work for everyone who wants to study and use Prolog as a practical programming language. The authors concentrate on teaching "core" Prolog. All examples conform to this standard and will run on the most widely-used Prolog implementations some of which are listed in the appendices with indications as to how they diverge from the standard.

Keywords

C programming language Logical Programming PROLOG (EDV) Programmiersprache Programming Language Prolog Rack constraint intelligence künstliche Intelligenz logic logic programming logisches Programmieren programming semantics

Authors and affiliations

  • William F. Clocksin
    • 1
  • Christopher S. Mellish
    • 2
  1. 1.Computer LaboratoryUniversity of CambridgeCambridgeUK
  2. 2.Department of Artificial IntelligenceUniversity of EdinburghEdinburghUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-97596-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58350-9
  • Online ISBN 978-3-642-97596-7
  • Buy this book on publisher's site