The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems

  title={The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems},
  author={Manuel V. Hermenegildo and Francisco Bueno and Daniel Cabeza and Manuel Carro and Maria Garcia de la Banda and Pedro L{\'o}pez-Garc{\'i}a and Germ{\'a}n Puebla},
In [HtCg93, HtCg94] we discussed several methodological aspeets regarding the design and efficieney of a class of future logic programming systems. In particular, we proposed a somewhat novel view of concurrent logic programming systems, based on a particular definition of parallelism. We argued that, under this view, a large number of the actual systems and models can be explained (and implemented) through the application of only a few basic principies. They include determinism, non-failure… CONTINUE READING
Highly Cited
This paper has 135 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 53 extracted citations

A Proposal for Disequality Constraints in Curry

View 6 Excerpts
Highly Influenced

Adding Constraint Solving to Mercury

View 3 Excerpts
Highly Influenced

Parallel execution of prolog programs: a survey

View 18 Excerpts
Method Support
Highly Influenced

Some Challenges for Constraint Programming

Constraints • 1997
View 5 Excerpts
Highly Influenced

136 Citations

Citations per Year
Semantic Scholar estimates that this publication has 136 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 20 references

Improving the E  ciency of Nondeterministic And { parallel Systems

G. Gupta, D. Tang, M. Carro, M. Hermenegildo
The Computer Languages Journal • 1996


Technologies, NL Utrecht, September
Utrecht / T.U. Madrid. • 1995

Onthe Practicality of Abstract Equation Systems

W. Simoens A. Mulkers, M. Bruynooghe.
InternationalConference on Logic Programming • 1994

TowardsGranularity Based Control of Parallelism in Logic Programs

S. K. Debray.