Abstract
Constraint Logic Programming (CLP) environments should be able to delay, if necessary, the evaluation of variables in a constraint (e.g. equation) until they become bound at some later point in processing. This paper presents a general method for supporting the automatic creation of delayed bindings in CLP environments that is applicable not only in the case of constraints but for any predicate in a logic rule as well. Consequently this method supports rule representations in CLP languages with no restrictions on the ordering of subgoals.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Jacques Cohen, Constraint Logic Programming Languages, Communications of the ACM,vol. 33,no. 7,pp.52–68,July 1990.
Pascal van Hentenryck, Constraint Satisfaction in Logic Programming, MIT Press, 1989.
P. Deransart et al. Attribute Grammars, Goos G., Hartmanis J, (eds.), Springer-Verlag, 1988.
D.E. Knuth, Semantics of context free languages,Mathematical Systems Theory, vol.2, no.2, pp.127–145, 1968 and vol.5, no.1, pp95–96, 1971.
G. Papakonstantinou, C. Moraitis, T. Panayiotopoulos, An Attribute Grammar Interpreter as a Knowledge Engineering Tool, Angewandte Informatik, 9/86, pp.382–388, 1986.
M. Sideri, S. Efremidis, G. Papakonstantinou, Semantically Driven Parsing of Conext-free Languages,The Computer Journal, vol.32, no.1, pp.91–93, 1989.
T. Panayiotopoulos, G. Papakonstantinou, G. Stamatopoulos, An Attribute Grammar Based Theorem Prover, Information and Software Technology, vol.30, no.9, pp.553–560, November 1988.
T. Panayiotopoulos, G. Papakonstantinou, N.M. Sgouros, An Attribute Grammar Interpreter for Inexact Reasoning, Information and Software Technology, vol.32, no.5, pp.347–356, June 1988.
R. Floyd, The syntax of programming languages-a survey, IEEE Transactions on Electronic Computers, vol.EG-13, no.4, pp.346–353, 1964.
F. Jalili, A general incremental evaluator for attribute grammars, Science of Computer Programming, vol.5, pp.83–96, 1985.
K. Forbus, J. de Kleer, Building Problem Solvers,MIT Press, 1993.
D. Weld, J. de Kleer (eds), Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Papakonstantinou, G., Voliotis, C., Sgouros, N.M. (1994). Dependency-directed binding of variables for constraint logic programming. In: Karagiannis, D. (eds) Database and Expert Systems Applications. DEXA 1994. Lecture Notes in Computer Science, vol 856. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58435-8_239
Download citation
DOI: https://doi.org/10.1007/3-540-58435-8_239
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58435-3
Online ISBN: 978-3-540-48796-8
eBook Packages: Springer Book Archive