| Alternate document: Details Improving Backward Execution in Non-Deterministic Concurrent Logic Languages (92) Salvador Abreu, Luís Moniz Pereira, Philippe |
Salvador Abreu, Luís Moniz Pereira, Philippe Codognet  Home/Search
Context Related
Links: DBLP | centria.di.fct.unl.pt...jicslp92a.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: centria.di.fct.unl.pt/~l...Biblio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a new mechanism for improving the execution of nondeterministic concurrent logic languages, such as the Andorra family of languages. The basic idea is, upon failure and backtracking, to reschedule continuation goals in order to first execute the goal that has failed. In this way, if the backtrack point is not pertinent to the failure, the original failing goal will fail again and this will immediately amount to further deeper backtracking. Such a heuristic will hence save useless... (Update)
Context of citations to this paper: More
...over traditional Prolog systems. Further improvements to AKL s search rule have been performed by Abreu, Pereira and Codognet [APC92a] The authors have studied failure driven configuration reordering, which can be seen as an application of the first fail principle to the...
...during backward execution, especially the information conveyed by the occurrence of failures. Our previous work in this direction (see [1, 2]) shows that there is a non negligible gain to be obtained from the failure information, even with simple minded heuristics. Our...
Cited by: More
Modeling Role-Based Access Control in ISCO - Abreu (Correct)
Exploration of a Solution Space Structured By Finite.. -.. (Correct)
Independence in Constraint Logic Programs - Banda, Hermenegildo, al. (1993) (Correct)
Similar documents (at the sentence level):
31.3%: Improving Backward Execution in Non-Deterministic.. - Abreu, Pereira, Codognet (1992) (Correct)
Active bibliography (related documents): More All
1.1: Design for AKL with Intelligent Pruning - Abreu, Pereira (1993) (Correct)
0.5: A Propositional Meta-Constraint System: Specification, Application .. - Ward (1993) (Correct)
0.5: Intelligent Backtracking in Logic Programming with Constraints .. - Kotzamanidis (1995) (Correct)
Similar documents based on text: More All
0.3: Nonmonotonic Reasoning with Well Founded Semantics - Pereira, Aparício (1991) (Correct)
0.3: Belief, Provability, and Logic Programs - Alferes, Pereira (Correct)
0.3: Andorra-I Compilation - Costa, Warren, Yang (Correct)
Related documents from co-citation: More All
3: Programming paradigms of the Andorra kernel language - Janson, Haridi - 1991
2: Diagnosis and debugging as contradiction removal - Pereira, asio et al. - 1993
2: Kernel Andorra Prolog and its Computation Model - Haridi, Janson - 1990
BibTeX entry: (Update)
Salvador Abreu, Lu'is Moniz Pereira, and Philippe Codognet. Improving backward execution in the andorra family of languages. In Krzysztof Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 384--398, Washington, USA, 1992. The MIT Press. http://citeseer.ist.psu.edu/abreu92improving.html More
@inproceedings{ abreu92improving,
author = "Abreu, S. and Pereira, L. M. and Codognet, P.",
title = "Improving Backward Execution in the Andorra Family of Languages",
booktitle = "Proceedings of the Joint International Conference and Symposium on Logic Programming",
publisher = "The MIT Press",
address = "Washington, USA",
editor = "Apt",
isbn = "0-262-51064-2",
pages = "384-398",
year = "1992",
url = "citeseer.ist.psu.edu/abreu92improving.html" }
Citations (may not include all citations):247 The family of concurrent logic programming languages (context) - Shapiro - 1989 ACM DBLP
132 Strand: New Concepts in Parallel Programming (context) - Foster, Taylor - 1989 ACM
114 Programming paradigms of the Andorra kernel language - Janson, Haridi DBLP
72 Kernel andorra Prolog and its computation model - Haridi, Janson ACM DBLP
42 The extended andorra model with implicit control (context) - Warren - 1990
40 The Andorra-I preprocessor: Supporting full Prolog on the ba.. (context) - Costa, Warren et al. DBLP
32 Deduction revision by intelligent backtracking (context) - Bruynooghe, Pereira - 1984 DBLP
28 The Andorra-I engine: A parallel implementation of the basic.. (context) - Costa, Warren et al. DBLP
21 Implementation of Committed Choice Logic Languages on Shared.. (context) - Crammond - 1988 ACM
16 Extending the WAM for intelligent backtracking (context) - Codognet, Sola DBLP
14 Yet another intelligent backtracking method (context) - Codognet, Codognet et al. DBLP
12 Solving simple substitution ciphers in Andorra (context) - Yang
11 Parallel constraint satisfaction in logic programming: Preli.. (context) - Van Hentenryck DBLP
10 Intelligent backtracking and sidetracking in horn clause pro.. (context) - Pereira, Porto - 1979
9 Design of a sequential prototype implementation of the andor.. (context) - Janson, Montelius - 1991
7 Non-deterministic stream AND-Parallelism based on intelligen.. (context) - Codognet, Codognet DBLP
7 Deduction plans : a basis for intelligent backtracking (context) - Cox, Pietrzykowski - 1981
5 Warren and Peter Szeredi (context) - David - 1990
5 Kowalski and Kenneth (context) - Robert - 1988
5 prolog: a parallel logic language based on exclusive relatio.. (context) - Yang, Aiso
4 Heterogeneous SLD resolution (context) - Naish - 1984 DBLP
4 Logic Programming (context) - Saraswat, Ueda - 1991 ACM DBLP
3 The andorra principle (context) - Warren - 1988
3 A decision tree compilation algorithm for FCP (context) - Klinger, Shapiro
2 Symbolical construction of truth value domain for logic prog.. (context) - Morishita, Numao et al. DBLP
Documents on the same site (http://centria.di.fct.unl.pt/~lmp/publications/Biblio.html): More
Belief Revision in Non-Monotonic Reasoning and Logic Programming - Alferes, Pereira (1996) (Correct)
Updating Temporal Knowledge Bases with the Possible Causes.. - Li, Pereira (1996) (Correct)
LUPS - a language for updating logic programs - Alferes, Pereira.. (1999) (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