Abstract | ||
---|---|---|
We present a declarative language -- CFLP (R) -- which integrates lazy functionalprogramming, 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. Through several exampleswe attempt to demonstrate the interest of CFLP (R). The execution mechanismof the language consists of a combination of lazy narrowing and constraintsolving. For the purpose of giving a... |
Year | Venue | Keywords |
---|---|---|
1996 | APPIA-GULP-PRODE | functional language,polymorphism,higher order |
Field | DocType | Citations |
Signature (logic),Functional logic programming,Programming language,Computer science,Description logic,Multimodal logic,Object language,Logic programming,Datalog,Dynamic logic (modal logic) | Conference | 2 |
PageRank | References | Authors |
0.36 | 3 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Puri Arenas-Sánchez | 1 | 67 | 4.92 |
Maria Teresa Hortalá-González | 2 | 133 | 9.49 |
Francisco Javier López-fraguas | 3 | 436 | 25.21 |
Eva Ullán | 4 | 2 | 1.04 |