A. Brogi, E. Lamma, P. Mello: A General Framework for Structuring Logic Programs. C.N.R. Technical Report "Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo" 4/1, May 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Open Logic Theory Composition In A Software Engineering.. - Denti, Omicini (1994) (Correct)
....inheritance, polymorphism, etc. To this respect, an approach based on separate logic theories, together with theory composition, can subsume the advantages of classic modular approach, while providing a precise semantic characterization and promoting the integration between logic and objects [7]. Finally, in order to support the construction of really open, evolutionary systems, mechanisms should be provided which allow a program to be open with respect to the composition with other programs, reflecting both the idea that a program is an incomplete description of some knowledge domain ....
A. Brogi, E. Lamma, P. Mello, A General Framework for Structuring Logic Programs, CNR Technical Report "Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo" No. R/04/01, May 1990
Object-Oriented Computations in Logic Programming - Omicini, Natali (1994) (4 citations) Self-citation (Logic) (Correct)
....[11, 7, 12] In particular, Contextual Logic Programming (CtxLP in the following) is our paradigm of choice for structuring logic programs. First of all, CtxLP has a clear model theoretic semantics, which can be used to clarify the notion of object as logic theory [11] Moreover, as shown in [13], multiple interpretations available for contexts make CtxLP suitable to express a wide spectrum of different concepts, ranging from the notion of binding environment to that of current line of reasoning. In addition, our CtxLP model is well settled in a stable, efficient implementation [14] ....
....instead of (P) 200 O:G as the message G sent to object O for an answer. By introducing mechanisms for theory composition, notions like class, super class, and instance can be mimicked, while suitable binding mechanisms can be used to reproduce static and dynamic inheritance (see for instance [13] and [7] However, since these mechanisms concern essentially object statics, and the present work concentrates rather on object dynamics, we will ignore them in the core of this paper. In fact, the notions introduced in Section 3 and 4 are nearly orthogonal with respect to theory composition, ....
[Article contains additional citation context not shown here]
A. Brogi, E. Lamma, P. Mello: A General Framework for Structuring Logic Programs. C.N.R. Technical Report "Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo" 4/1, May 1990.
A Structured Logic Programming Approach to Robot.. - Denti, Natali, Omicini, .. (1994) Self-citation (Logic) (Correct)
....to predicate invocations. Predicate binding rules constitute the basic mechanism by which the notion of theory composition can subsume different kinds of high level software component models, e.g. a class hierarchy with inheritance, a non modifiable instance, a current line of reasoning, etc. [3]. In this paper, we aim to show how an extended Prolog programming system based on these principles and mechanisms allowed us to fully exploit the innovative style of logic programming in an application field which usually falls into the area of imperative and functional languages, such as ....
A. Brogi, E. Lamma, P. Mello. A General Framework for Structuring Logic Programs. C.N.R. Tech. Report "Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo" No. 4/1, May 1990.
Exploiting Logic Programming in Robot Applications - Natali, Omicini, Zanichelli (1993) Self-citation (Logic) (Correct)
....concepts and mechanisms, such as knowledge reusability, inheritance delegation, incremental programming methodologies, etc. Contexts can be exploited to introduce both object based programming techniques, and different kinds of deductive processes such as hypothetical reasoning, viewpoints, etc. [15] In the CSM implementation of the contextual model [16] the run time creation of a particular context takes place only once, by exploiting memoization techniques. In this way, contexts may be used not only to reproduce the notion of object, object hierarchies, inheritance and delegation, but also ....
A. BROGI, E. LAMMA, P. MELLO, A General Framework for Structuring Logic Programs, CNR Technical Report "Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo", No. 4/1, May 1990, submitted for publication.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC