Abstract
We present ECOLOG, an environment designed for the definition and the experimentation of constraint logic programming languages. The aim of ECOLOG is to enable the user to define logics and constraint systems, to combine them and lastly to write specifications in the constraint logics such defined and to execute them. The evaluation mechanism is based on the one hand on the deduction rules specified in the (constraint) logic, and on the other hand on the resolution rules for constraints. ECOLOG is implemented in CAML.
Research initially supported by the French PRC programmation (Opération Elios).
Preview
Unable to display preview. Download preview PDF.
References
A. Colmerauer. An introduction to Prolog III. Commun. ACM, 33(7), July 1990.
H. Comon. Disunification: a survey. In J.-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson. MIT Press, 1991.
H. Comon. Constraints in term algebras (short survey). In T. R. M. Nivat, C. Rattray and G. Scollo, editors, Proc. Conf. on Algebraic Methodology and Software Technology, Univ. of Twente, 1993. Springer Verlag, series Workshop in Computing. Invited talk.
M. Dincbas, P. V. Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F.Berthier. The constraint logic programming language CHIP. In Proc. Int. Conf. on Fifth Generation Computer Systems FGCS-88, pages 693–702, 1988.
M. Fernández. Narrowing based procedures for equational disunification. Applicable Algebra in Engineering Communication and Computing, 3:1–26, 1992.
T. Frühwirth. Constraint simplification rules. Technical report, ECRC Munchen, 1992.
M. Haberstrau. ECOLOG: un Environnement pour la programmation en LOGique COntrainte. Thèse de Doctorat, Université de Paris-Sud, France, Décembre 1993.
R. Harper, F. Honsell, and G. Plotkin. A framework for defining logics. In Proceedings of the IEEE Symposium on Logic in Computer Science, Ithaca, New York, 1987.
J. Jaffar and S. Michaylov. Methodology and implementation of a CLP system. In Proc. Int. Conf. on Logic Programming, 1987.
C. Kirchner, H. Kirchner, and M. Vittek. Designing constraint logic programming languages using computational systems. Draft, 1993.
C. Kirchner, H. Kirchner, and M. Vittek. Implementing computational systems with constraints. In P. Kanellakis, J.-L. Lassez, and V. Saraswat, editors, Proceedings of PPCP, Providence, RI, 1993.
T. Nipkow. Equational reasoning in isabelle. University of Manchester.
L. C. Paulson. ML for the Working Programmer. Cambridge University Press, 1991.
L. C. Paulson. Introduction to isabelle. Technical report, University of Cambridge, 1993.
F. Pfenning. Logic programming in the LF logical framework. In G. huet and G. D. Plotkin, editors, Logical Frameworks. Cambridge University Press, 1991.
P. Weis and al. The caml reference manual. Rapport de Recherche 121, INRIA, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Haberstrau, M. (1994). ECOLOG: an Environment for constraint logics. In: Jouannaud, JP. (eds) Constraints in Computational Logics. CCL 1994. Lecture Notes in Computer Science, vol 845. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016857
Download citation
DOI: https://doi.org/10.1007/BFb0016857
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58403-2
Online ISBN: 978-3-540-48699-2
eBook Packages: Springer Book Archive