Meier, M. Better late than never. In Implementations of Logic Programming Systems, E. Tick and G. Succi, Eds. Kluwer Academic Publishers, 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....has caused much confusion and this is why we have returned to the more precise term attributed variable. D1.2 Version 1 ESPRIT CONSTRAINT HANDLING IN COMMERCIAL EP5291 INDUSTRY AND COMMERCE IN CONFIDENCE Various forms of attributed variables have been used in Prolog systems with coroutining [27, 26, 24, 29, 30]. In these systems, however, an attributed variable is a system primitive which is not accessible to the user. The ECL i PS e attributed variables are closer to e.g. 31] in making the attributed variables available to the user, but ECL i PS e goes as far as to make attributed variables ....

M. Meier. Better Late Than Never. In E. Tick and G. Succi, editors, Implementations of Logic Programming Systems. Kluwer Academic Publishers, 1994.

.... Features) first released in 1988, was a major improvement [93] Other systems are Opium [44] an extensible debugging environment, and MegaLog [15] a WAM based system with extensions to manage databases (e.g. persistence) The most recent system, ECLiPSe (ECRC Common Logic Programming System) [45, 95], integrates the facilities of SEPIA, MegaLog, CHIP, and Opium. The system supports rational tree unification and indefinite 13 Curiously, both systems are written mostly in assembly code, several hundred thousand lines worth. December 1993 Digital PRL 1983 1993: The Wonder Years of ....

....1993 Digital PRL 1983 1993: The Wonder Years of Sequential Prolog Implementation 41 precision rational arithmetic. It provides libraries that implement constraint solvers for atomic finite domains and linear inequalities. ECLiPSe is a WAM based emulator with extensive support for delaying [95]. This makes it easy to write constraint solvers in the language itself. ECLiPSe supports this with two concepts: metaterms and suspensions. A metaterm is a variable with a set of user defined attributes. The set of attributes is similar to a Lisp property list. A suspension is a closure. It is ....

Micha Meier. Better Late Than Never. Internal report, ECRC, Munich, Germany, 1993. In ICLP '93 Workshop on Practical Implementations and Systems Experience, Budapest, Hungary, June 1993.

....basic Prolog operations which have to be changed by CLP and many other extensions, and we have designed an extension of Prolog which is able to accommodate such changes in a flexible, modular and efficient manner. This paper is a continuation of our work on architectures for Prolog extensions [19, 20, 18]. While it might seem that our final architecture is trivial ( attributed variables are equivalent to pairs (Var, Term) and everything is simply written in Prolog ) there is in fact much work behind it and its resulting simplicity is a sign of beauty. Our architecture does not offer complete ....

Micha Meier. Better late than never. In Proceedings of the ICLP'93 Workshop on Practical Implementations and Systems Experience in Logic Programming, Budapest, June 1993.

....various problems in an elegant and declarative way. A valuable summary of early attempts on improving Prolog control has been done by Naish [23] Such extended control was first provided in interpreters like Prolog II [6] or MU Prolog [22] and then WAM compilers like SICStus [4] or ECRC Prolog [16]. These systems were able to suspend the execution of certain Prolog subgoals and resume them later, when they became sufficiently instantiated. It was shown that this functionality could provide calls which behaved like coroutines [23] and thus it is often, not quite correctly, called ....

....the variable domain in CLP(FD) or a list of equations which contain this variable in CLP(Q) fl It is the main primitive that allows an elegant and flexible implementation of data driven computation in Prolog. Various forms of attributed variables have been used in Prolog systems with coroutining [6, 22, 4, 15, 16]. In these systems, however, an attributed variable is a system primitive which is not accessible to the user. The ECL i PS e attributed variables are closer to e.g. 14] in making the attributed variables available to the user, but ECL i PS e goes as far as to make attributed variables ....

M. Meier. Better Late Than Never. In E. Tick and G. Succi, editors, Implementations of Logic Programming Systems. Kluwer Academic Publishers, 1994.

No context found.

Meier, M. Better late than never. In Implementations of Logic Programming Systems, E. Tick and G. Succi, Eds. Kluwer Academic Publishers, 1994.

No context found.

Micha Meier. Better Late than Never. In Proceedings of the ICLP'93 Workshop on Practical Implementations and Systems Experience in Logic Programming, Budapest, June 1993.

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