Amazon cover image
Image from Amazon.com

Prolog by example: how to learn, teach, and use it

By: Contributor(s): Material type: TextTextPublication details: Berlin Springer-Verlag 1988Description: x, 382 pISBN:
  • 0387183132
Subject(s): DDC classification:
  • 006.3 C6P7
Summary: 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. https://www.springer.com/gp/book/9783642832154
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Item location Collection Shelving location Call number Status Date due Barcode
Books Vikram Sarabhai Library KLMDC Syndicate Room Non-fiction Move to KLMDC 006.3 C6P7 (Browse shelf(Opens below)) Available 187682

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.

https://www.springer.com/gp/book/9783642832154

There are no comments on this title.

to post a comment.