Description
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.
