PROLOG
From Formal Specification to Prototype
Published on 1. August 1991
Book
Paperback/Softback
400 pages
978-0-632-03161-0 (ISBN)
Description
This book aims to introduce readers, familiar with procedural programming language such as Pascal, to the ideas of declarative programming. The reader is introduced to most of the features of the Prolog language. The relationship between Prolog and the formal specification language is emphasized as is the role which Prolog plays in the software life cycle. The book also discusses how Prolog can be used to implement object-oriented concepts.
More details
Series
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
McGraw-Hill Education - Europe
Target group
College/higher education
Professional and scholarly
Illustrations
Ill.
Dimensions
Height: 234 mm
Width: 153 mm
Weight
7000 gr
ISBN-13
978-0-632-03161-0 (9780632031610)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Content
Introduction to specification; Formal methods and Prolog; First steps; Prolog programming; Practical Prolog; The interpreter's control strategy; Input and output; Data structures; Object-oriented programming and Prolog; The meaning of a Prolog program; Influencing the interpreter's control strategy - the cut; Comparison of Prolog and Pascal; Developing programs in Pascal; Conclusion.