PROLOG: From Formal Specification to Prototype (Computer Science Texts) - Hardcover

Leadbetter, P.; Etc.; Thomas, Peter; Weedon, Ray

 
9780632031610: PROLOG: From Formal Specification to Prototype (Computer Science Texts)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.