Logic and Objects - Couverture souple

McCabe, F.G.

 
9780135360798: Logic and Objects

Synopsis

The issues involved in augmenting logic programming with object-oriented features are explored in this book. A new language built on top of logic is introduced and programming examples illustrate the power of the extension, highlighting inheritance, and the construction of modules. A treatment of the theory aims to provide a good foundation on logic, and implementation techniques for efficient implementation on top of Prolog are included. The background survey illustrates the issues involved and examples are given which highlight the programming power and methodology of the language. Two major case studies are included.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.