Logic and Objects

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.