Programming in PROLOG : Using the ISO Standard

Using the ISO Standard

By: Christopher S. Mellish, William F. Clocksin

Write A Review

Paperback | 1 September 2003 | Edition Number 5

At a Glance

Paperback
318 Pages

Edition Type
Revised

Dimensions(cm)
23.8 x 16.0 x 1.9

Paperback

$109.00

or 4 interest-free payments of $27.25 with

Ships in 7 to 10 business days

Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications.

Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be a basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the previous edition of Programming in Prolog, the language has been standardised by the International Organization for Standardization (ISO) and this book has been updated accordingly. The authors 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.

Industry Reviews

From the reviews of the fifth edition:

"This is the fifth and the most recent edition of a legendary book ... . It was probably the first introductory Prolog book and it is still the most gentle introduction to Prolog for everyone, including non-computer scientists. ... the book is as great as ever as an introductory text for Prolog. When a newbie asks for an introduction to Prolog, the best advice is still Clocksin & Mellish." (Bart Demoen, TLP-Theory and Practice of Logic Programming, Vol. 5 (3), 2005)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Computer Science Artificial Intelligence Compilers & Interpreters

Tutorial Introduction	p. 1
Prolog	p. 1
Objects and Relationships	p. 2
Programming	p. 3
Facts	p. 4
Questions	p. 6
Variables	p. 8
Conjunctions	p. 10
Rules	p. 16
Summary and Exercises	p. 22
A Closer Look	p. 25
Syntax	p. 25
Constants	p. 26
Variables	p. 27
Structures	p. 27
Characters	p. 29
Operators	p. 30
Equality and Unification	p. 32
Arithmetic	p. 34
Summary of Satisfying Goals	p. 37
Successful satisfaction of a conjunction of goals	p. 38
Consideration of goals in backtracking	p. 42
Unification	p. 43
Using Data Structures	p. 47
Structures and Trees	p. 47
Lists	p. 50
Recursive Search	p. 53
Mapping	p. 57
Recursive Comparison	p. 60
Joining Structures Together	p. 63
Accumulators	p. 67
Difference Structures	p. 70
Backtracking and the "Cut"	p. 73
Generating Multiple Solutions	p. 74
The "Cut"	p. 80
Common Uses of the Cut	p. 85
Confirming the Choice of a Rule	p. 85
The "cut-fail" Combination	p. 90
Terminating a "generate and test"	p. 92
Problems with the Cut	p. 96
Input and Output	p. 99
Reading and Writing Terms	p. 100
Reading Terms	p. 100
Writing Terms	p. 101
Reading and Writing Characters	p. 104
Reading Characters	p. 105
Writing Characters	p. 106
Reading English Sentences	p. 108
Reading and Writing Files	p. 111
Opening and closing streams	p. 112
Changing the current input and output	p. 113
Consulting	p. 115
Declaring Operators	p. 116
Built-in Predicates	p. 119
Entering New Clauses	p. 120
Success and Failure	p. 121
Classifying Terms	p. 122
Treating Clauses as Terms	p. 123
Constructing and Accessing Components of Structures	p. 127
Affecting Backtracking	p. 132
Constructing Compound Goals	p. 134
Equality	p. 136
Input and Output	p. 137
Handling Files	p. 138
Evaluating Arithmetic Expressions	p. 139
Comparing Terms	p. 140
Watching Prolog at Work	p. 143
More Example Programs	p. 145
A Sorted Tree Dictionary	p. 145
Searching a Maze	p. 148
The Towers of Hanoi	p. 152
Parts Inventory	p. 153
List Processing	p. 155
Representing and Manipulating Sets	p. 159
Sorting	p. 161
Using the Database	p. 164
Random	p. 164
Gensym	p. 165
Findall	p. 167
Searching Graphs	p. 169
Sift the Two's and Sift the Three's	p. 174
Symbolic Differentiation	p. 177
Mapping Structures and Transforming Trees	p. 179
Manipulating Programs	p. 182
Bibliographic Notes	p. 185
Debugging Prolog Programs	p. 187
Laying out Programs	p. 188
Common Errors	p. 191
The Tracing Model	p. 194
Tracing and Spy Points	p. 200
Examining the Goal	p. 204
Examining the Ancestors	p. 205
Altering the Degree of Tracing	p. 206
Altering the Satisfaction of the Goal	p. 207
Other Options	p. 209
Summary	p. 209
Fixing Bugs	p. 210
Using Prolog Grammar Rules	p. 213
The Parsing Problem	p. 213
Representing the Parsing Problem in Prolog	p. 216
The Grammar Rule Notation	p. 221
Adding Extra Arguments	p. 223
Adding Extra Tests	p. 227
Summary	p. 230
Translating Language into Logic	p. 231
More General Use of Grammar Rules	p. 233
The Relation of Prolog to Logic	p. 237
Brief Introduction to Predicate Calculus	p. 237
Clausal Form	p. 240
A Notation for Clauses	p. 246
Resolution and Proving Theorems	p. 248
Horn Clauses	p. 251
Prolog	p. 252
Prolog and Logic Programming	p. 254
Projects in Prolog	p. 259
Easier Projects	p. 259
Advanced Projects	p. 262
Answers to Selected Exercises	p. 267
Clausal Form Program Listings	p. 271
Writing Portable Standard Prolog Programs	p. 277
Standard Prolog for Portability	p. 277
Different Prolog Implementations	p. 278
Issues to Look Out For	p. 279
Definitions of some Standard Predicates	p. 280
Character Processing	p. 281
Directives	p. 283
Stream Input/Output	p. 284
Miscellaneous	p. 287
Code to Support DCGs	p. 289
DCG Support Code	p. 290
Index	p. 295
Table of Contents provided by Rittenhouse. All Rights Reserved.

Programming in PROLOG : Using the ISO Standard

Using the ISO Standard

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

The C Programming Language

Prentice Hall Software

Python All-in-One For Dummies

3rd Edition

BiteSize Python for Intermediate Learners

With Practice Labs, Real-World Examples, and ChatGPT

BiteSize Python for Intermediate Learners

With Practice Labs, Real-World Examples, and ChatGPT

Python Workout, Second Edition

200 ten-minute exercises

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Introduction to Programming Languages

Typesetting Mathematics With Latex

The Practical Guide

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

C# 12 in a Nutshell

The Definitive Reference

Digital Technologies for the Australian Curriculum 9 &10 Workbook

Python Automation For Dummies

For Dummies (Computer/Tech)

Learning Web Design

A Beginner's Guide to Html, Css, Javascript, and Web Graphics

Python for Excel

A Modern Environment for Automation and Data Analysis

Typescript Cookbook

Real World Type-Level Programming

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

C++ How to Program, Global Edition

10th Edition

C++ How to Program, Global Edition

11th Edition

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Problem Solving and Program Design in C, Global Edition

8th Edition

Java

An Introduction to Problem Solving and Programming, 8th Global Edition

This product is categorised by