Programming in Prolog / W.F. Clocksin, C.S. Mellish.
By: Clocksin, W. F. (William F.)
.
Contributor(s): Mellish, C. S., Christopher S
.
Material type: ![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Lending | MTU Bishopstown Library Store Item | 005.133 CLO (Browse shelf(Opens below)) | 1 | Available | 00158320 |
Browsing MTU Bishopstown Library shelves, Shelving location: Store Item Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
005.133 CHE Pascal programming structures for Motorola microprocessors / | 005.133 CLA Designing Pascal solutions : a case study approach / | 005.133 CLO Programming in Prolog / | 005.133 CLO Programming in Prolog / | 005.133 COL Introduction to C programming : a modular approach / | 005.133 CON Programming in PARLOG / | 005.133 COO Oh! Pascal! / |
Enhanced descriptions from Syndetics:
Here is the book that helped popularize Prolog by making it accessible to a wide range of readers. This edition includes much new material and improved presentation. It will serve as an invaluable reference work for anyone who wants to study and use Prolog as a practical programming language.
Includes index.
Gives the student a "feel" for what it is like to program in Prolog - Introduces objects, relationships, facts, rules, variables -- More detailed presentation of Prolog syntax and data structures -- Representing objects and relationships by using "trees" and "lists" - Developing several standard Prolog programming techniques -- How a set of clauses generates a set of solutions - Using "cut" to modify the control sequence of running Prolog programs -- Facilities available for the input and output of characters and structures - Developing a program to read sentences from the user and represent the sentence as a list of words -- Definition of the "core"a built-in predicates, with sensible examples of how each one is used -- Many example programs are given, covering a wide range of interests -- Flow of control model, hints about common bugs, techniques of debugging -- Applications of existing techniques. Using grammar rules. Examining the design decisions for some aspects of analysing natural language with grammar rules -- Predicate calculus, clausal form, resolution theorem proving, logic programming -- A selection of suggested exercises, projects, and problems.