Expressivity of Functional-logic Languages and their Implementation

Juan José Moreno Navarro

Abstract

This talk is focused on the expressive power of functional-logic languages and how to implement the new features they present.

We will not give a detailed list of all the integrated languages proposed (although all of them are listed in the bibliography). When a new feature is presented we will mention the language where it is taken.

Outline of the presentation:

• Motivating the Integration of Functional and Logic Programming
• Expressivity of Programming Languages
• Expressivity of Functional-Logic Languages
  • Uniform Syntax
  • Functions and nested calls
  • Higher Order
  • Lazy Evaluation
  • Constraints
  • Explicit Negation
  • Normalization
  • Default Rules
  • Other Models
• Implementation
• Conclusion
• Bibliography

This talk was an invited tutorial at Joint International Conference on Declarative Programming (GULP-PRODE'94) , Peñíscola, Spain, September 1994.

There exists a draft of a full paper

Any comment is welcome in jjmoreno@fi.upm.es