Logic and objects
Author(s)
Bibliographic Information
Logic and objects
(Prentice-Hall International series in computer science)
Prentice Hall, c1992
- : pbk
Available at / 26 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
:pbkMAC||123||192037061
-
No Libraries matched.
- Remove all filters.
Note
Includes index
Description and Table of Contents
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. 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.
Table of Contents
- Introduction and background
- elements of the language
- programming techniques
- class template graphics
- semantics
- implementing class templates.
by "Nielsen BookData"