Κατάλογος Βιβλιοθηκών Mediterranean College

Image from OpenLibrary

Programming in Prolog / Fourth Edition

Contributor(s): Material type: TextPublication details: Springler Verlag, 1994Edition: 4thDescription: 282ISBN:
  • 387583505
Summary: The classic Prolog book which sets the language standard for almost all Prolog implementations. More Detailed Presentation of Prologue Syntax and Data Structures, How a Set of Clauses Generates a Set of Solution. Using ''Cut'' to Modify the Control Sequence of Running Prolog Programs, Many Example Programs are Given and Covering a Wide Range of Interests. New Examples Includes List Processing and Set Operations and Symbolic Differentiation and Simplification of Formulae, Applications of Existing Techniques. Using Grammar Rules. Examining the Design Decisions for Some Aspects of Analyzing Natural Language with Grammar Rules, Predicate Calculus and Clausal Form and Resolution and Theorem Proving and Logic Programming, A Selection of Suggested Exercises and Projects and Problems, Appendices, Index.
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 Call number Copy number Status Barcode
Books MC Athens Campus Library 006.302/85 CLO (Browse shelf(Opens below)) 2 Available 9780000013910

The classic Prolog book which sets the language standard for almost all Prolog implementations. More Detailed Presentation of Prologue Syntax and Data Structures, How a Set of Clauses Generates a Set of Solution. Using ''Cut'' to Modify the Control Sequence of Running Prolog Programs, Many Example Programs are Given and Covering a Wide Range of Interests. New Examples Includes List Processing and Set Operations and Symbolic Differentiation and Simplification of Formulae, Applications of Existing Techniques. Using Grammar Rules. Examining the Design Decisions for Some Aspects of Analyzing Natural Language with Grammar Rules, Predicate Calculus and Clausal Form and Resolution and Theorem Proving and Logic Programming, A Selection of Suggested Exercises and Projects and Problems, Appendices, Index.

There are no comments on this title.

to post a comment.

MC Athens Campus Library
Πατησίων 94 & Κοδριγκτώνος 13, 104 34
Πελλήνης 8 & Πατησίων 107, 112 51
Τ: +30 210 8899600

MC Thessaloniki Campus Library
Ίωνος Δραγούμη 21, 54625 | Ίωνος Δραγούμη 15, 54625
Τ: +30 2310 287779 – Τ: +30 2314 440300