The functional logic language BABEL and its implementation on a graph machine

New Generation Computing

Volumn 14, Issue 4, 1996, Pages 391-427

  Kuchen, Herbert ^a   Loogen, Rita ^b   Moreno Navarro, Juan José ^c   Rodríguez Artalejo, Mario ^d  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b PHILIPPS UNIVERSITY MARBURG   (Germany)

^c UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^d UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Abstract Machine; Functional Logic Programming Languages; Innermost Graph Narrowing

Indexed keywords

COMPUTER SOFTWARE; COMPUTERS; LOGIC PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE);

ABSTRACT MACHINE; FUNCTIONAL LOGIC PROGRAMMING LANGUAGES; INNERMOST GRAPH NARROWING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0030382380     PISSN: 02883635     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF03037211     Document Type: Article

References (40)

1. Aït-Kaci, H., Warren's Abstract Machine: A Tutorial Reconstruction, MIT Press, 1991.
2. Balboni, G. P., Bosco, P. G., Cecchi, C., Melen, R., Moiso, C., and Sofi, G., "Implementation of a Parallel Logic Plus Functional Language," in Parallel Computers: Object Oriented, Functional and Logic (P. Treleaven, ed.), Wiley, 1989.
3. Bellia, M. and Levi, G., "The Relation between Logic and Functional Languages," Journal of Logic Programming, 3, pp. 217-236, 1986.
4. Bosco, P. G., Cecchi, C., Giovannetti, Ev, Moiso, C., and Palamidessi, C., "Using Resolution for a Sound and Efficient Integration of Logic and Functional Programming," in Languages for Parallel Architectures: Design, Semantics, Implementation Models (J. de Bakker, ed.), Wiley, 1989.
5. Bosco, P. G., Giovannetti, E., and Moiso, C., "Narrowing versus SLD-Resolution," Theoretical Computer Science, 59, pp. 3-23, 1988.
6. Carlsson, M., SICSTUS PROLOG User's Manual, S-16313, Spanga, Sweden, 1988.
7. Chakravarty, M. M. T. and Lock, H. C. R., "The Implementation of Lazy Narrowing," Symposium on Programming Language Implementation and Logic Programming (PLILP) 1991, LNCS, 528, pp. 123-134, 1991.
8. Cheong, P. H., "Compiling Lazy Narrowing into Prolog," New Generation Computing, 10, 1992.
9. Damas, L. and Milner, R., "Principal Type Schemes for Functional Programs," ACM Symposium on Principles of Programming Languages, pp. 207-212, 1982.
10. DeGroot, D. and Lindstrom, G. (eds.), Logic Programming: Functions, Relations, Equations, Prentice Hall, 1986.
11. van Emden, M. H. and Yukawa, K.,"Logic Programming with Equations," Journal of Logic Programming, 4, pp. 265-288, 1987.
12. González-Moreno, J. C., Hortalá-González, M. T., and Rodríguez-Artalejo, M., "A Functional Logic Language with Higher Order Variables," Technical Report, DIA 90/ 6, Dpto. de Informática y Automática UCM, Madrid, 1990.
13. Hans, W., Loogen, R., Winkler, St., "On the Interaction of Lazy Evaluation and Backtacking," Proc. PLILP 92, LNCS, 631, Springer-Verlag, pp. 355-369, 1992.
14. Hanus, M., "Compiling Logic Programs with Equality," Workshop on Programming Language Implementation and Logic Programming (PLILP) 1990, LNCS, 456, pp. 387-401, 1990.
15. Jiménez-Martín, J. A., Marifio, J., and Moreno-Navarro, J. J., "Efficient Compilation of Lazy Narrowing into Prolog," Procs. LOPSTR'92, LNAI, 1992.
16. Kuchen, H. and Hans, W., "An AND-Parallel Implementation of the Functional Logic Language Babel," Granada Workshop on Integration of Functional and Logic Programming, RWTH Aachen, Aachener Informatik-Bericht, 91/12, pp. 119-139, 1991.
17. Kuchen, H., Moreno-Navarro, J.J., and Hermenegildo, M., "Independent AND-Parallel Implementation of Narrowing," Procs. PLILP'92, LNCS, 631, Springer-Verlay, pp. 24-38, 1992.
18. Kuchen, H., Loogen, R., Moreno-Navarro, J.J., and Rodríguez-Artalejo, M., "Graph-Based Implementation of a Functional Logic Language," ESOP, LNCS, 432, pp. 271-290, 1990.
19. Kuchen, H., Loogen, R., Moreno-Navarro, J. J., and Rodríguez-Artalejo, M., "Graph-Narrowing to Implement a Functional Logic Language," Technical Report, FIM.68.1/ LyS/92, UPM Madrid, 1992.
20. Lindstrom, G., "Implementing Logical Variables on a Graph Reduction Architecture," Workshop on Graph Reduction, LNCS, 279, pp. 382-400, 1987.
21. Loogen, R., "From Reduction Machines to Narrowing Machines," Colloq. on Combining Paradigms for Software Development, TAPSOFT 1991, LNCS, 494, pp. 438-454, 1991.
22. Loogen, R., Kuchen, H., Indermark, K., and Damm, W., "Distributed Implementation of Programmed Graph Reduction," PARLE, LNCS, 365, pp. 136-157, 1989.
23. Loogen, R., López-Fraguas, F., and Rodríguez-Artalejo, M., "A Demand Driven Computation Strategy for Lazy Narrowing," Symposium PLILP'93, LNCS, 714, pp. 184-200, 1993.
24. Loogen, R., "From Reduction Machines to Narrowing Machines," TAPSOFT'91, LNCS, 494, 1991.
25. Loogen, R. and Winkler, S., "Dynamic Detection of Determinism in Functional Logic Languages," PLILP, LNCS, 528, pp. 335-346, 1991.
26. Milner, R., "A Theory of Type Polymorphism in Programming," Journal of Computer and System Sciences, 17, 3, pp. 348-375, 1978.
27. Moreno-Navarro, J. J., "Diseño, semántica e implementación de Babel, un lenguaje que integra la programación funcional y lógica," Ph.D. thesis, Facultad de Informática, UPM, Madrid (in Spanish), 1989.
28. Moreno-Navarro, J. J., Kuchen, H., Loogen, R., and Rodriguez-Artalejo, M., "Lazy Narrowing in a Graph Machine," ALP, LNCS, 456, pp. 298-317, 1990.
29. Moreno-Navarro, J. J., Kuchen, H., Mariño-Carballo, J., Winkler, S., and Hans, W., "Efficient Lazy Narrowing Using Demandedness Analysis," Symposium PLILP'93, LNCS, 714, pp. 167-183, 1993.
30. Moreno-Navarro, J. J. and Rodríguez-Artalejo, M., "Babel: A Functional and Logic Programming Language Based on Constructor Discipline and Narrowing," Conference on Algebraic and Logic Programming (ALP), LNCS, 343, pp. 223-232, 1989.
31. Moreno-Navarro, J. J. and Rodríguez-Artalejo, M., "Logic Programming with Functions and Predicates: The Language Babel," Journal of Logic Programming, 12, pp. 191-223, 1992.
32. Muck, A., "Compilation of Narrowing," PLILP, LNCS, 456, pp. 16-39, 1990.
33. Nutt, W., Réty, P., and Smolka, G., "Basic Narrowing Revisited," J. Symbolic Computation, 7, pp. 295-317, 1988.
34. Peyton Jones, S. and Salkild, J., "The Spineless Tagless G-Machine," Confernce on Functional Programming Languages and Computer Architectures, ACM, pp. 184-201, 1989.
35. Reddy, U. S., "Narrowing as the Operational Semantics of Functional Languages," IEEE International Symposium on Logic Programming, IEEE Computer Society Press, pp. 138-151, 1985.
36. Reddy, U. S., "Functional Logic Languages, Part I," Workshop on Graph Reduction, LNCS, 279, pp. 401-425, 1987.
37. Sterling, L. and Shapiro, E., The Art of PROLOG, MIT Press, 1986.
38. Turner, D. A., "Miranda: A Non-Strict Functional Language with Polymorphic Types," ACM Conference on Functional Languages and Computer Architecture, LNCS, 201, pp. 1-16, 1985.
39. Warren D. H. D., "Applied Logic - Its Use and Implementation as a Programming Tool," Technical Note, 290, SRI International, Menlo Park, California, 1983.
40. Warren, D. H. D., "An Abstract PROLOG Instruction Set," Technical Note, 309, SRI International, Menlo Park, California, 1983.