Shaun-inn Wu. Integrating logic and object-oriented programming. OOPS Messenger, 2(1):28--37, January 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Programming Paradigms as Object Classes: A Structuring Mechanism .. - Spinellis (1994) (3 citations) (Correct)
....L O [McC92] Classes are described as theories: labelled sets of axioms. The axioms can be arbitrary predicates which are accessed by prefixing them with the name of their class. The logical variable can be used over theory names. Object state is implemented in terms of mutable theories. LogiC [Wu91] A Prolog extension to C . C methods can be written as Prolog Horn clauses. Clauses are translated into C functions using the procedural interpretation of Prolog. The functions are executed at run time, using activation frames and the usual two stack representation of the backtracking data. ....
....an inheritance hierarchy. Prolog variables are represented as belonging to a given class, becoming class bound Name References Implementation Intermission [Kah82] Implemented on top of Prolog LAP [IK87] Prolog library LOGIN [AKN86] Prolog extension L O [McC92] Prolog pre processor LogiC [Wu91] Implemented as a translator to C MU [Uus92] Theoretical framework PAL [Aka86] Language PEACE [Kos87] Interpreter in Prolog POL [Gal86] OO Extension of Prolog Prolog KR [Nak84] Prolog extension Zan84 [Zan84] On top of Prolog Table 2.13: Implementations combining the logic and ....
Shaun-inn Wu. Integrating logic and object-oriented programming. OOPS Messenger, 2(1):28--37, January 1991.
An Overview of the OLI Multiparadigm Programming Language and.. - Lee, Pun (1996) (Correct)
....a motivation does not advocate an equal and co operating partnership between the object oriented and the logic programming paradigms, which is a more important objective for their integration. In the second camp, class methods are allowed to be defined as a set of clauses. Languages and systems [10, 15, 21, 18] of this camp require logical predicates to be specified within classes, i.e. predicates do not exist independently. In general, languages and systems of these two camps are extensions of a native programming paradigm by emulating programming constructs of the other paradigm as an enhancement of ....
S. Wu. Integrating logic and object-oriented programming. OOPS Messager, 2(1):28--37, 1991.
Object Logic Integration: a Multiparadigm Design Methodology and .. - Lee, Pun (1997) (4 citations) (Correct)
....are terms, clauses and the process of unification. Major components of the object oriented programming paradigm are objects, classes and methods. The different approaches of this emulation camp are characterized by the way they draw correspondences between their respective components. LogiC [21] and Orient84 K [22] allow class methods to be specified as a set of clauses. However, there is no direct correspondence between terms in clauses and objects of classes in these languages. In this way, they only support unification of simple syntactic symbols but not complex objects defined by ....
S. Wu. Integrating logic and object-oriented programming. OOPS Messager, 2(1):28--37, 1991.
Software Development Environment Based on.. - Khaled Fouad Sayed.. (1995) (Correct)
....a class. Access may be permitted by methods of any class (public) restricted to methods of subclasses of the class (protected) or restricted to direct methods of the class (private) In addition, spot access can be given to a particular class or function using the friend declaration. LogiC [155] integrates logic and object oriented programming. The language is designed primarily based on C . A program in LogiC has a very strong resemblance to C programs. However, in a LogiC program, the keyword methods is used to indicate that the following methods would be defined by Horn ....
....constructs or higher object oriented languages built on top of logic based languages. This classification was motivated by similar ones proposed in various papers [145, 42, 43, 28] The examples of object oriented language extended with logical constructs is Orient84 K [69, 70] and LogiC [155]. In Orient84 K, deductive retrieval is facilitated through built in methods. Besides, all logical constructs are viewed as objects. In LogiC , a program is basically a C program. However, the Horn clauses in Prolog are used to express methods for the objects. Hence, the expressive power of ....
Wu S., Integrating Logic and Object-Oriented Programming, OOPS MESSENGER, 2(1):28--37, July 1991.
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