Skip to main content
SpringerLink
Log in

Prolog by Example

How to Learn, Teach and Use It

  • Book
  • © 1988

Overview

Authors:
  1. Helder Coelho

    1. Laboratorio Nacional de Engenharia Civil, Lisbon, Portugal

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. José Carlos Cotta

    1. Laboratorio Nacional de Engenharia Civil, Lisbon, Portugal

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Symbolic Computation (SYMBOLIC)

Part of the book sub series: Artificial Intelligence (1064)

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 89.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 119.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 (19 chapters)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Teaching Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 1-9

  3. One or Two Things About Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 11-20

  4. Using Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 21-69

  5. Proving with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 71-97

  6. Doing Arithmetic with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 99-117

  7. Doing Algebra with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 119-122

  8. Playing with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 123-145

  9. Searching with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 147-159

  10. Learning with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 161-172

  11. Modeling with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 173-187

  12. Designing with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 189-193

  13. Drawing with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 195-217

  14. Planning with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 219-242

  15. Seeing with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 243-245

  16. Engineering Grammars with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 247-280

  17. Constructing Personal Databases with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 281-304

  18. Text Formatting with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 305-314

  19. Management with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 315-332

  20. Building Up with Prolog

    • Helder Coelho, José Carlos Cotta
    Pages 333-363
Back to top

Keywords

About this book

Prolog has a declarative style. A predicate definition includes both the input and output parameters, and it allows a programmer to define a desired result without being concerned about the detailed instructions of how it is to be computed. Such a declarative language offers a solution to the software crisis, because it is shorter and more concise, more powerful and understandable than present-day languages. Logic highlights novel aspects of programming, namely using the same program to compute a relation and its inverse, and supporting deductive retrieval of informa­ tion. This is a book about using Prolog. Its real point is the examples introduced from Chapter 3 onwards, and so a Prolog programmer does not need to read Chapters 1 and 2, which are oriented more to teachers and to students, respec­ tively. The book is recommended for introductory and advanced university courses, where students may need to remember the basics about logic program­ ming and Prolog, before starting doing. Chapters 1 and 2 were also kept for the sake of unity of the whole material. In Chapter 1 a teaching strategy is explained based on the key concepts of Pro­ log which are novel aspects of programming. Prolog is enhanced as a computer programming language used for solving problems that involve objects and the relationships between objects. This chapter provides a pedagogical tour of pre­ scriptions for the organization of Prolog programs, by pointing out the main draw­ backs novices may encounter.

Authors and Affiliations

  • Laboratorio Nacional de Engenharia Civil, Lisbon, Portugal

    Helder Coelho, José Carlos Cotta

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation