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.
- ISBN10 0632031611
- ISBN13 9780632031610
- Publish Date 1 August 1991 (first published November 1986)
- Publish Status Out of Print
- Out of Print 10 July 1997
- Publish Country GB
- Publisher McGraw-Hill Education - Europe
- Imprint Alfred Waller Ltd
- Format Paperback
- Pages 400
- Language English