Proving failure in functional logic programs

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 179-193

  López Fraguas, Francisco J ^a   Sánchez Hernández, Jaime ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRUCTOR-BASED REWRITING LOGIC; FUNCTIONAL LOGIC PROGRAMMING; FUNCTIONAL LOGIC PROGRAMS; NEGATIVE INFORMATION; PROOF CALCULUS; THEORETICAL FRAMEWORK;

ARTIFICIAL INTELLIGENCE;

LOGIC PROGRAMMING;

EID: 84867769768     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_12     Document Type: Conference Paper

References (12)

1. K.R. Apt and R. Bol. Logic programming and negation: A survey. Journal of Logic Programming, 19&20:9-71, 1994.
2. D. Bert and R. Echahed. Abstraction of conditional term rewriting systems. In Proc. ILPS'95, pages 162-176. MIT Press, 1995.
3. J.C. Gonz-Alez-Moreno, T. Hortal-A-Gonz-Alez, F.J. Lopez-Fraguas, and M. Rodrguez-Artalejo. An approach to declarative programming based on a rewriting logic. Journal of Logic Programming, 40(1):47-87, 1999.
4. M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583-628, 1994.
5. M. Hanus Curry: An Integrated Functional Logic Language February 2000. Available at http://www-i2.informatik.rwth-Aachen.de/~hanus/curry/report.html.
6. G. Jäger and R.F. Stärk. A proof-theoretic framework for logic programming. In S.R. Buss (ed.), Handbook of Proof Theory, pages 639-682. Elsevier, 1998.
7. F.J. Lopez-Fraguas and J. Sanchez-Hern-Andez. Disequalities may help to narrow. In Proc. APPIA-GULP-PRODE'99, pages 89-104, 1999.
8. F.J. Lopez-Fraguas and J. Sanchez-Hernandez. T OY: A multiparadigm declarative system. In Proc. RTA'99, Springer LNCS 1631, pages 244-247, 1999.
9. F.J. Lopez-Fraguas and J. Sanchez-Hernandez. Proving failure i n functional logic programs (extended version). Tech. Rep. SIP 00/100-00, UCM Madrid, 2000.
10. J.J. Moreno-Navarro. Default rules: An extension of constructive negation for narrowing-based languages. In Proc. ICLP'95, pages 535-549. MIT Press, 1994.
11. J.J. Moreno-Navarro. Extending constructive negation for partial functions in lazy functional-logic languages. In Proc. ELP'96, pages 213-227. Springer LNAI 1050, 1996.
12. P.J. Stuckey. Constructive negation for constraint logic programming. In Proc. LICS'91, pages 328-339, 1991.