A proof theoretic approach to failure in functional logic programming

DOI10.1017/S1471068403001728MaRDI QIDQ4819004zbMATH OpenFDO

Authors F. J. López-Fraguas, Jaime Sánchez-Hernández

Publication date 24 September 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

functional logic programmingconstructive failureproof calculi

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1696795
• Functional logic programming with failure: a set-oriented view
• Failure and equality in functional logic programming
• scientific article; zbMATH DE number 1942461
• Reporting failures in functional logic programs
• Faulty Logic: Reasoning about Fault Tolerant Programs
• scientific article; zbMATH DE number 1497820
• scientific article; zbMATH DE number 1405454
• A debugging scheme for functional logic programs

Cited in

(14)

• Functional logic programming with failure: a set-oriented view
• scientific article; zbMATH DE number 1942461 (Why is no real title available?)
• scientific article; zbMATH DE number 1696795 (Why is no real title available?)
• Productive use of failure in inductive proof
• A new generic scheme for functional logic programming with constraints
• Faulty Logic: Reasoning about Fault Tolerant Programs
• scientific article; zbMATH DE number 3907744 (Why is no real title available?)
• Extra variables can be eliminated from functional logic programs
• Database query languages and functional logic programming
• General failure of logic programs
• Failure and equality in functional logic programming
• Functional Logic Programming: From Theory to Curry
• Reporting failures in functional logic programs
• Default rules for Curry

This page was built for publication: A proof theoretic approach to failure in functional logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4819004)