Micha Meier  Home/Search
Context Related
| icparc.doc.ic.ac.uk/...ECRC9508.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: icparc.doc.ic.ac.uk/eclip...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Some Prolog systems are able to delay the execution of Prolog goals and resume it later. We were involved in the design, implementation and evaluation of several such systems and we summarise here our experiences with them. First we describe a general structure of such 'coroutining' systems and then we concentrate on the particular features of and choices made in three ECRC's logic programming systems: ECRC-Prolog, SEPIA and ECLiPSe. (Update)
Context of citations to this paper: More
.... 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...
.... 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...
Cited by: More
Programming Finite-Domain Constraint Propagators in Action Rules - Zhou (2002) (Correct)
Open Architecture for CLP - Meier, Brisset (1995) (Correct)
Control in ECLiPSe - Meier, Schimpf (1995) (Correct)
Active bibliography (related documents): More All
0.4: Sepia - Meier, Aggoun, Chan, Dufresne.. (Correct)
0.4: CHIC - Final Technical Report - (Ed.) (1995) (Correct)
0.2: Compilation Techniques for Prolog - Lindgren (1996) (Correct)
Similar documents based on text: More All
0.2: Language Support for Mobile Agents - Knabe (1995) (Correct)
0.2: Shallow Backtracking in Prolog Programs - Meier (1995) (Correct)
0.2: Debugging Constraint Programs - Meier (1995) (Correct)
Related documents from co-citation: More All
6: Constraint Satisfaction Over the CLP Scheme (context) - Le Provost, Wallace - 1992
6: An architecture for prolog extensions - Meier, Schimpf - 1992
6: Restricted CHIC Deliverable Month 42 D (context) - Guillaud, constraints et al. - 1994
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/meier95better.html More
@inproceedings{ meier93better,
author = "Micha Meier",
title = "Better Late Than Never",
booktitle = "{ICLP}-Workshops on Implementation of Logic Programming Systems",
pages = "151-165",
year = "1993",
url = "citeseer.ist.psu.edu/meier95better.html" }
Citations (may not include all citations):121 Guarded horn clauses - Ueda - 1985
57 A subset of concurrent Prolog and its interpreter (context) - Shapiro - 1983
25 SEPIA - an extendible Prolog system (context) - Meier, Aggoun et al. - 1989
25 A new implementation technique for flat GHC (context) - Ueda, Morita - 1990
25 Negation and quantifiers in NU-Prolog (context) - Naish - 1986
18 An architecture for prolog extensions - Meier, Schimpf - 1992
17 indexing and other implementation issues in the WAM (context) - Carlsson - 1987
16 An introduction to MU-PROLOG (context) - Naish - 1982
16 Prolog II manuel de reference et modele theorique (context) - Colmerauer - 1982
14 Ic-Prolog language features (context) - Gregory, Clark et al. - 1982
10 iteration in Prolog (context) - Meier - 1991
9 Variable shunting for the WAM - Sahlin, Carlsson - 1990
8 An abstract kl1 machine and its instruction set (context) - Kimura, Chikayama - 1987
7 Esp reference manual (context) - Chikayama - 1984
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-icparc.doc.ic.ac.uk/eclipse/reports/index.html): More
Constraint Handling Rules - Frühwirth (1995) (Correct)
Constraint Logic Programming - An Informal Introduction - Frühwirth, Herold.. (1993) (Correct)
Terminological Reasoning with Constraint Handling Rules - Frühwirth, Hanschke (1995) (Correct)
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