A general scheme for constraint functional logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 632 LNCS, Issue , 1992, Pages 213-227

  López Fraguas, Franclsco Javier ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING; SEMANTICS;

BASE STRUCTURE; CONSTRAINT FUNCTIONAL LOGIC PROGRAMMING; DECLARATIVE SEMANTICS; FUNCTIONAL LOGIC LANGUAGES; MINIMAL MODEL; OPERATIONAL SEMANTICS; REWRITE RULES; SCOTT DOMAINS;

LOGIC PROGRAMMING;

EID: 85020809634     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (30)

1. K.R. Apt: Logic Programming, in J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, Vol. B, pp. 495-574, Elsevier Science Pub. 1990.
2. M. Bellia, G. Levi: The Relation between Logic and Functional Languages, Journal of Logic Programming, Vol. 3, 1986, 217-236.
3. J. Darlington, Y.K. Guo, H. Pull: Introducing Constraint Functional Logic Programming, Tech. Rep., Imperial College, Feb. 1991.
4. J. Darlington, Y.K. Guo, H. Pull: A New Perspective on the Integration of Functional and Logic Languages, Tech. Rep., Imperial College, Sep. 1991.
5. J. Darlington, Y.K. Guo: Constraint Functional Programming, Tech. Rep., Imperial College, November 1989.
6. J. Darlington, Y.K. Guo: Constraint Equational Deduction, Tech. Rep., Imperial College, March 1990.
7. N. Dershowitz, J.P. Jouannaud: Rewrite Systems, in J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, Vol. B, pp. 243-320, Elsevier Science Pub. 1990.
8. M.H. van Emden, R.A. Kowalski: The semantics of predicate logic as a programming language, Jour. ACM, Vol. 23 (4), 1976, pp. 733-742.
9. M. Gabrielli, G. Levi: Modelling Answer Constraint in Constraint Logic Programming, Tech. Rep. TR-4/91, Dip. Informatica, Univ. Pisa, March 1991.
10. J.C. González-Moreno, T. Hortalá-González, M. Rodríguez-Artalejo: A Functional Logic Language with Higher Order Logic Variables, Tech. Rep. DIA 90/6, October 1990.
11. J. C. González-Moreno, T. Hortalá-González, M. Rodrfguez-Artalejo: Denotational versus Declarative Semantics for Functional Languages, Tech. Rep. DIA 91/3, September 1991.
12. D. de Groot, G. Lindstrom (eds): Logic Programming: Functions, Relations and Equations, Prentice Hall, 1986.
13. M. Hoefeld, G. Smolka: Definite Relations over Constraint Languages, LILOG Report 53, IBM Deutchland, Germany, Oct. 1988.
14. C. Kirchner, H. Kirchner, M. Rusinowitch: Deduction with symbolic constraints, Revue Française d’Intelligence Artificielle, Vol. 4, N. 3, pp. 9-52.
15. J. Jaffar, J.L. Lassez: Constraint Logic Programming, Tech. Rep., Dep. of Computer Science, Monash Univ., June 1986.
16. J. Jaffar, J.L. Lassez: Constraint Logic Programming, Procs. 14th ACM Symp. on Princ. of Prog. Lang., 1987, pp. 114-119.
17. H. Kuchen, R. Loogen, J.J. Moreno-Navarro, M. Rodriguez-Artalejo: Graph-based Implementation of a Functional Logic Language, Procs. ESOP’90, Springer LNCS 432, 1990, pp. 271-290.
18. H. Kuchen, F.J. Lopez-Fraguas, J.J. Moreno-Navarro, M. Rodrfguez-Artalejo: Implementing Disequality in a Lazy Functional Logic Language, Tech. Rep. (in preparation).
19. K. Kunen: Negation in Logic Programming, Journal of Logic Programming, 4(3), pp. 289-308, 1987.
20. G. Levi et alter: A complete semantical characterization of K-LEAF, a logic language with partial functions, Procs. 4th. Symp. on Logic Progr., 1987, pp. 1-27.
21. F.J. López-Fraguas, M. Rodriguez-Artalejo: An Approach to Constraint Functional Logic Programming, Tech. Rep. DIA 91/4, October 1991.
22. F.J. López-Fraguas: A General Scheme for Constraint Functional Logic Programming, Tech. Rep. (in preparation).
23. F.J. Lopez-Fraguas: Implementing Disequality in a Strict Functional Logic Language, Tech. Rep. (in preparation).
24. R. Loogen: From Reduction Machines to Narrowing Machines. In CCPSD, TAPSOFT 91, LNCS 494, 1991, pp. 438-454.
25. J.J. Moreno-Navarro, H. Kuchen, R. Loogen, M. Rodriguez-Artalejo: Lazy Narrowing in a Graph Machine, Procs. 2nd. Int. Conf. on Algebraic and Logic Programming, Springer LNCS 463, 1990, pp. 298-317.
26. J.J. Moreno-Navarro, M. Rodriguez-Artalejo: BABEL: A functional and logic language based and constructor discipline and narrowing. Procs. 1st. Int. Conf. on Algebraic and Logic Progr., Springer LNCS 343, 1989, pp. 223-232.
27. J.J. Moreno-Navarro, M. Rodriguez-Artalejo: Logic Programming with Functions and Predicates: the language BABEL, to appear in J. Logic Programming.
28. U.S. Reddy: Narrowing as the Operational Semantics of Functional Languages. Procs. Int. Symp. on Logic Programming, IEEE Comp. Soc. Press 1985, pp. 138-151.
29. U.S. Reddy: Functional Logic Languages, Part I, Procs. of a Workshop on Graph Reduction, Springer LNCS 279, 1987, pp. 401-425.
30. D.S. Scott: Domains for Denotational Semantics, Procs. ICALP’82, Springer LNCS 140, 1982, pp. 577-613.