Teaching functional and logic programming with a single computation model

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

Volumn 1292, Issue , 1997, Pages 335-350

  Hanus, Michael ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Functioned logic languages; Integration of paradigms; Lazy evaluation; Narrowing; Residuation

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; EDUCATION COMPUTING; INTEGRAL EQUATIONS; LOGIC PROGRAMMING; TEACHING;

INTEGRATION OF PARADIGMS; LAZY EVALUATION; LOGIC LANGUAGES; NARROWING; RESIDUATION;

FUNCTIONAL PROGRAMMING;

EID: 84856628316     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0033854     Document Type: Conference Paper

References (24)

1. H. Ai't-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, equations, and Functions. In Proc. 4th IEEE Internal. Symposium on Logic Programming, pp. 17-23, 1987.
2. H. Ai't-Kaci and A. Podelski. Functions as Passive Constraints in LIFE. ACM Transactions on Programming Languages and Systems, Vol. 16, No. 4, pp. 1279-1318, 1994.
3. S. Antoy. Definitional Trees. In Proc. of the 3rd International Conference on Algebraic and Logic Programming, pp. 143-157. Springer LNCS 632, 1992.
4. S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. 21st ACM Symposium on Principles of Programming Languages, pp. 268-279, Portland, 1994.
5. S. Antoy, R. Echahed, and M. Hanus. Parallel Evaluation Strategies for Functional Logic Languages. In Proc. of the Fourteenth International Conference on Logic Programming (ICLP’97). MIT Press (to appear), 1997.
6. S. Bonnier and J. Maluszynski. Towards a Clean Amalgamation of Logic Programs with External Procedures. In Proc. 5th Conference on Logic Programming & 5th Symposium on Logic Programming (Seattle), pp. 311-326. MIT Press, 1988.
7. N. Dershowitz and J.-P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pp. 243-320. Elsevier, 1990.
8. M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, Vol. 19&20, pp. 583-628, 1994.
9. M. Hanus. A Unified Computation Model for Functional and Logic Programming. In Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pp. 80-93, 1997.
10. M. Hanus and C. Prehofer. Higher-Order Narrowing with Definitional Trees. In Proc. Seventh International Conference on Rewriting Techniques and Applications (RTA’96), pp. 138-152. Springer LNCS 1103, 1996.
11. M. Hanus (ed.). Curry: An Integrated Functional Logic Language. Available at http: //s»H-i2. inf ormatik.rwth-aachen.de/~hanus/curry, 1997.
12. G. Huet and J.-J. Levy. Computations in Orthogonal Rewriting Systems. In J.- L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson, pp. 395-443. MIT Press, 1991.
13. J. Hughes. Why Functional Programming Matters. In D.A. Turner, editor, Research Topcis in Functional Programming, pp. 17—42. Addison Wesley, 1990.
14. J. Jaffar and M.J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, Vol. 19&20, pp. 503-581, 1994.
15. R. Loogen and S. Winkler. Dynamic Detection of Determinism in Functional Logic Languages. Theoretical Computer Science 142, pp. 59-87, 1995.
16. J.J. Moreno-Navarro and M. Rodrfguez-Artalejo. Logic Programming with Functions and Predicates: The Language BABEL. Journal of Logic Programming, Vol. 12, pp. 191-223, 1992.
17. L. Nciish. Higher-order logic programming in Prolog. In Proc. JICSLP’96 Workshop on Multi-Paradigm Logic Programming, pp. 167-176. TU Berlin, Technical Report No. 96-28, 1996.
18. S.L. Peyton Jones and P. Wadler. Imperative Functional Programming. In Proc. 20th Symposium on Principles of Programming Languages (POPL’93), pp. 71-84, 1993.
19. R.C. Sekar and I.V. Ramakrishnan. Programming in Equational Logic: Beyond Strong Sequentiality. Information and Computation, Vol. 104, No. 1, pp. 78-109, 1993.
20. E. Shapiro and A. Takeuchi. Object Oriented Programming in Concurrent Prolog. In E. Shapiro, editor, Concurrent Prolog: Collected Papers, volume 2, pp. 251-273. MIT Press, 1987.
21. G. Smolka. The Oz Programming Model. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, pp. 324-343. Springer LNCS 1000, 1995.
22. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989.
23. P. Wadler. Efficient Compilation of Pattern-Matching. In S.L. Peyton Jones, editor, The Implementation of Functional Programming Languages, pp. 78-103. Prentice Hall, 1987.
24. D.H.D. Warren. Higher-order extensions to PROLOG: are they needed? In Machine Intelligence 10, pp. 441-454, 1982.