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
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
:pbkMAC||123||192037061
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"