C. Moss, An Introduction to Prolog++, Chris Moss, Res. rep. DOC 90/10 Imperial College of Science, Technology and Medicine, London, 1990  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Logic Programming Associates, Logical Object Systems (LOS) from Imperial College [McCabe89] and ELSA from ELSA Software. SICStus Objects, the system described here has a lot in common with LPA s Prolog [Vasey, Spencer et.al. 90] and with the systems described by Fromherz [Fromherz91] and Moss [Moss90] SICStus Objects SICStus Objects provides the Prolog programmer with mechanisms for defining and using objects as a programming paradigm together with SICStus Prolog. Prolog goals can be called from components in objects and messages can be sent to objects from ordinary Prolog clauses. The ....

C. Moss, An Introduction to Prolog++, Chris Moss, Res. rep. DOC 90/10 Imperial College of Science, Technology and Medicine, London, 1990

....standing for the infinite list of its states during history. The concept of attribute is often understood more generally in mergers than in conventional OO (see Section 3 for details) Attribute value changes. Zaniolo s approach enables no dynamics. ESP [Chi84] SPOOL [FH86] and Prolog [Mos90] make use of imperative assignments. Predominantly, states are revised exploiting the assert and retract built in predicates. In ObjVProlog [MLV89] semantically cleaner predicates assume and forget are made use of. Shapiro and Takeuchi, Mandala, and Vulcan [KTMB87] on its hidden underlying ....

C. Moss. An introduction to Prolog++. Research Report DOC 90/10, Imperial College, London, June 1990.

....view, the backtracking process view, and the meta interpretation view are described as follows: 1. The clauses view In this approach, Prolog is considered the logic programming component of the language. This produces languages which are object oriented Prolog extensions (e.g. McCabe 88] and [Moss 90] A class is equated with a set of clauses which represent its methods. In most of the languages of this approach, an instance of a class is created by introducing more clauses to the class definition in order to represent the instance state. As the state changes, clauses are retracted and new ....

Moss, C. 1990. An Introduction to Prolog++, Tech. Report, Dept. of Computing, Imperial College, London June.

....there are more varied mappings possible for instances of classes (objects) including sets of clauses, processes, or terms. Objects Objects are the run time instances of classes. However, several languages do not distinguish between them at all; instead preferring to call everything an object [109, 113, 7]. The most popular way is to treat objects as encapsulated label collection of clauses as in [164] In [79] terms is also treated as (immutable) objects which means that terms can be sent messages. Others, may allow objects to be parameterized [102, 164] called generic objects in [102] Logic ....

....an alternative is to only set them up for the duration of the computation of the forwarded messages, as in [79] In [63] self messages can be given priority over external communication. In Prolog , there is a myself message which is applied to the method in the class in which the myself occurs [109]. Previous and Related Work on Object Oriented Programming Languages Languages that represent the state by clauses allows state to be inherited much the same like methods. Languages based on Shapiro and Takeuchi s model, 41] do not permit state to be inherited. This is due to the ....

[Article contains additional citation context not shown here]

Moss C., An introduction to Prolog++, Technical Report, Department of Computing, Imperial College, London, 1990.

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