Andorra Prolog, an Integration of Prolog and Committed Choice Languages , in: Proceedings of the FGCS 1988, Japan. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Kernel Andorra Prolog And Its Computation Model - Haridi, Janson (1990) (65 citations) (Correct)
....Deep guards can also be used to encapsulate nondeterministic transformational parts of a program while maintaining a reactive indeterministic computation at an outer level. The computation model is a non trivial generalization of the so called Andorra Model for pure definite clauses [Warren 87, Haridi Brand 88] The Andorra Model exploits implicit and parallelism in the execution of definite clauses. The generalized model features a carefully controlled nondeterminism, which is available uniformly in a computation. The framework is parameterized with the constraint system used, the chosen set of ....
Andorra Prolog, an Integration of Prolog and Committed Choice Languages , in: Proceedings of the FGCS 1988, Japan.
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