Combining lazy narrowing with disequality constraints

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

Volumn 844 LNCS, Issue , 1994, Pages 385-399

  Arenas Sánchez, Puri ^a   Gil Luezas, Ana ^a   López Fraguas, Francisco J ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; FUNCTIONAL PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE); SEMANTICS;

A-PROLOG; CONSTRAINT FUNCTIONAL LOGIC PROGRAMMING; CONSTRAINT SOLVERS; FUNCTIONAL LOGIC LANGUAGES; OPERATIONAL SEMANTICS; PARAMETERIZED; SEMANTIC PROPERTIES;

LOGIC PROGRAMMING;

EID: 84969400315     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58402-1_27     Document Type: Conference Paper

References (22)

1. P.H. Cheong: Compiling lazy narrowing into Prolog, Technical Report 25, LIENS, 1990, to appear in: Journal of New Generation Computing.
2. A. Colmerauer: Prolog and infinite trees, in K.L. Clark, S.A. Tarnlund (eds.) Logic Programming, Academic Press, 1982, 231-251.
3. A. Colmerauer: Equations and inequations on finite and infinite trees, Procs. FGCS’84, 1984, 85-99.
4. H. Comon: Disunification: A Survey, in: J. L. Lassez, G. Plotkin (eds.) Computational Logic, Essays in Honor of Alan Robinson, MIT Press, 1991, 322-359.
5. A. Dovier, G.F. Rossi: Embedding extensional finite sets in CLP, Procs. Int. Logic Progr. Symp., MIT Press, 1993.
6. E. Giovannetti, G. Levi, C. Moiso, C. Palamidessi: Kernel LEAF: A Logic plus Functional Language, Journal of Computer and System Sciences, Vol. 42, No. 2, Academic Press 1991, 139-185.
7. J.C. González Moreno, M.T. Hortalá González, M. Rodríguez Artalejo: On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming, Procs. Computer Science Logic CSL’92, LNCS 702,1993, 216-230.
8. M. Hanus: The Integration of Functions into Logic: From Theory to Practice, to appear in J of Logic Progr. Also available as Tech. Rep. MPI-I-94,201, 1994.
9. J. Jaffar, J.L. Lassez: Constraint Logic Programming, Procs. 14th ACM Symp on Princ of Prog. Lang., 1987, 114-119.
10. J. Jaffar, J.L. Lassez: Constraint Logic Programming, Tech. Rep. 86/73, Dep. of Computer Science, Monash University, 1986.
11. J. Jaffar, M. J. Maher: Constraint Logic Programming: A Survey, To appear in Journal of Logic Programming.
12. J.P. Jouannaud, C. Kirchner: Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification, in: J.L.Lassez,G. Plotkin (eds.) Computational Logic, Essays in Honor of Alan Robinson, The MIT Press, 1991,357-321.
13. H. Kuchen, F.J. López-Fraguas, J.J. Moreno-Navarro, M. Rodríguez-Artalejo: Implementing Disequality in a Functional Logic Language, Procs. Joint Int. Conf and Symp on Logic Programming, MIT Press, 1992, 207-221.
14. R. Loogen, F. J. López Fraguas, M. Rodríguez Artalejo: A Demand Driven Computation Strategy for Lazy Narrowing, Int. Symp. on Programming Language Implementation and Logic Programming (PLILP) 93, LNCS 714, 184-200.
15. F.J. López-Fraguas: Constraint Functional Logic Programming, PhD. dissertation (forthcoming).
16. F.J. López-Fraguas: A General Scheme for Constraint Functional Logic Programming, Procs. ALP, LNCS 632, 1992, 213-217.
17. M. Maher: Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees, Procs. 3rd IEEE Symp. Logic in Computer Science, 1988, 348-357.
18. J. J. Moreno-Navarro, H. Kuchen, R. Loogen, M. Rodríguez-Artalejo: Lazy Narrowing in a Graph Machine, ALP, LNCS 463, 1990, 298-317.
19. J.J. Moreno-Navarro, M. Rodríguez-Artalejo: Logic Programming with Functions and Predicates: The Language BABEL, J. Logic Programming, 12, 1992, 189-223.
20. U.S. Reddy: Narrowing as the Operational Semantics of Functional Languages, Procs. Int. Symp on Logic Programming, 1985, 138-151.
21. D.S. Scott: Domains for Denotational Semantics, Procs. ICALP, LNCS 140,1892, 577-613.
22. D.A. Smith: Constraint Operations for CLP(FT), Procs. 8th Int. Conf on Logic Programming, MIT Press, 1991, 760-774.