Logic and Objects (Prentice-hall International Series in Computer Science) - Softcover

McCabe, Francis G.

 
9780135360798: Logic and Objects (Prentice-hall International Series in Computer Science)

Inhaltsangabe

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.

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