Skip to main content
SpringerLink
Log in

Clause and Effect

Prolog Programming for the Working Programmer

  • Book
  • © 1997

Overview

Authors:
  1. William F. Clocksin

    1. Computer Laboratory, University of Cambridge, Cambridge, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • A workbook for programmers in any language who wish to learn Prolog * Conforms to ISO Standard Prolog * Novel presentation using basic concepts, worksheets, and case studies

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 64.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Getting Started

    • William F. Clocksin
    Pages 1-16

  3. Data Structures

    • William F. Clocksin
    Pages 17-25

  4. Mapping

    • William F. Clocksin
    Pages 27-39

  5. Choice and Commitment

    • William F. Clocksin
    Pages 41-53

  6. Difference Structures

    • William F. Clocksin
    Pages 55-67

  7. Case Study: Term Rewriting

    • William F. Clocksin
    Pages 69-74

  8. Case Study: Manipulation of Combinational Circuits

    • William F. Clocksin
    Pages 75-84

  9. Case Study: Manipulation of Clocked Sequential Circuits

    • William F. Clocksin
    Pages 85-92

  10. Case Study: A Compiler for Three Model Computers

    • William F. Clocksin
    Pages 93-114

  11. Case Study: The Fast Fourier Transform in Prolog

    • William F. Clocksin
    Pages 115-126

  12. Case Study: Higher-Order Functional Programming

    • William F. Clocksin
    Pages 127-140

  13. Back Matter

    Pages 141-143
    Download chapter PDF
Back to top

Keywords

About this book

This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a reference manual. The emphasis of this book is on a simplified and disciplined methodology for discerning the mathematical structures related to a problem, and then turning these structures into Prolog programs. This book is therefore not concerned about the particular features of the language nor about Prolog programming skills or techniques in general. A relatively pure subset of Prolog is used, which includes the 'cut', but no input/output, no assert/retract, no syntactic extensions such as if­ then-else and grammar rules, and hardly any built-in predicates apart from arithmetic operations. I trust that practitioners of Prolog program­ ming who have a particular interest in the finer details of syntactic style and language features will understand my purposes in not discussing these matters. The presentation, which I believe is novel for a Prolog programming text, is in terms of an outline of basic concepts interleaved with worksheets. The idea is that worksheets are rather like musical exercises. Carefully graduated in scope, each worksheet introduces only a limited number of new ideas, and gives some guidance for practising them. The principles introduced in the worksheets are then applied to extended examples in the form of case studies.

Authors and Affiliations

  • Computer Laboratory, University of Cambridge, Cambridge, UK

    William F. Clocksin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation