|
Title:
|
MULTIPLE INHERITANCE MECHANISMS IN LOGIC OBJECTS APPROACH BASED ON A MULTIPLE SPECIALISATION OF OBJECTS |
|
Author(s):
|
Macaire Ngomo |
|
ISBN:
|
978-989-8704-44-3 |
|
Editors:
|
Hans Weghorn and Pedro Isaias |
|
Year:
|
2022 |
|
Edition:
|
Single |
|
Keywords:
|
Object-Oriented Logic Programming, Object-Oriented Representation, Multiple Inheritance, Multi-Point of View, Semantics of Multiple Inheritance |
|
Type:
|
Full Paper |
|
First Page:
|
29 |
|
Last Page:
|
38 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
This study takes place within the framework of the representation of knowledge by objects and within the framework of our work on the marriage of logic and objects. On the one hand, object-oriented programming has proved to be appropriate for the construction of complex software systems. On the other hand, logic programming is distinguished by its declarative nature, integrated inference and well-defined semantic capabilities. In particular, inheritance is a refinement mechanism whose mode of application leaves a number of design choices. In the context of this marriage, we describe the semantics of multiple inheritance in a non-deterministic approach based on multiple specification of logical objects. We also describe the conceptual choices for integrating multiple inheritance made for the design of the OO-Prolog language (an object-oriented extension of the Prolog language respecting logical semantics). |
|
|
|
|
|
|
