Download:
|
by F. J. L#pez-fraguas E. Ull#n-hern#ndez
http://snake.cs.tu-berlin.de:8081/~chak/mplp/proc/arenas.ps.gz
Add To MetaCart
Abstract:
We present a declarative language CFLP (R) which integrates lazy functional programming, logic programming and constraint solving over real numbers. Both a (higher order, polymorphic, lazy) functional language and (pure) CLP (R) can be isolated as subsets of our language. The execution mechanism of the language consists of a combination of lazy narrowing and constraint solving. As a very simple method for implementing the language, we propose a translation of CFLP (R)-programs into a logic programming language supporting real arithmetic constraint solving. This shows the practicability of the proposal. 1
Citations
|
655
|
Constraint Logic Programming: A Survey
– Jaffar, Maher
- 1994
|
|
496
|
S.: The Implementation of Functional Programming Languages
– Jones
- 1987
|
|
291
|
The CLP(R ) language and system
– Jaffar, Michaylov, et al.
- 1992
|
|
176
|
Logic Programming with Functions and Predicates: The Language BABEL
– Moreno-Navarro, RodrÃguez-Artalejo
- 1992
|
|
39
|
The integration of functions into logic programming: A survey
– Hanus
- 1994
|
|
36
|
Efficient Translation of Lazy Functional Logic Programs into Prolog
– Hanus
- 1995
|
|
19
|
Implementation of Narrowing: The Prolog-Based Approach
– Cheong, Fribourg
- 1993
|
|
13
|
H.: A new perspective on the integration of functional and logic languages
– Darlington, Guo, et al.
- 1992
|
|
5
|
F.J.: Combining lazy narrowing with disequality constraints
– Arenas-Sánchez, Gil-Luezas, et al.
- 1994
|
|
5
|
A tiny constraint functional logic language and its continuation semantics
– Muck, Streicher, et al.
- 1994
|
|
2
|
ECL i PS e 3.5 ECRC Common Logic Programming System: Extensions User Manual and User
– Manual
- 1995
|
|
2
|
Erweiterung von BABEL um lineare Constraints #ber reellen Zahlen
– Frankenstein
- 1995
|
|
2
|
Functional Programming Matters. The Computer
– Why
- 1989
|
|
1
|
Rodr#guez-Artalejo M.: On the Completeness of Narrowing as the Operational
– Gonzlez-Moreno, Hortal-Gonzlez
- 1993
|
|
1
|
Hortal#-Gonz#lez T., L#pez-Fraguas F.J, Rodr#guez-Artalejo M.: A Rewriting Logic for Declarative Programming
– Gonzlez-Moreno
- 1996
|
|
1
|
Lassez J.L.: Constraint Logic Programming
– Jaoear
- 1987
|
|
1
|
Michaylov S.: Methodology and Implementation of a Constraint Logic Programming System
– Jaoear
- 1962
|
|
1
|
Moreno-Navarro J.J: EOEcient Compilation of Lazy Narrowing into Prolog
– Jimnez-Martn, Mario-Carballo
- 1992
|
|
1
|
L#pez-Fraguas F.J, Rodr#guez-Artalejo M.: A Demand Driven Computation Strategy for Lazy Narrowing
– Loogen
- 1993
|
