Failure and equality in functional logic programming

MaRDI QIDQ2844060zbMATH OpenFDO

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

Publication date 27 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104806972

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1942461
• Functional logic programming with failure: a set-oriented view
• A proof theoretic approach to failure in functional logic programming
• Reporting failures in functional logic programs
• What is failure? An approach to constructive negation

Cites work

• scientific article; zbMATH DE number 1696795 (Why is no real title available?)
• scientific article; zbMATH DE number 1942461 (Why is no real title available?)
• scientific article; zbMATH DE number 1420822 (Why is no real title available?)
• An approach to declarative programming based on a rewriting logic
• Functional logic programming with failure: a set-oriented view
• Logic programming and negation: A survey
• Negation and constraint logic programming
• The integration of functions into logic programming: From theory to practice
• Theories of Programming Languages

Cited in

(8)

• Functional logic programming with failure: a set-oriented view
• A proof theoretic approach to failure in functional logic programming
• scientific article; zbMATH DE number 1942461 (Why is no real title available?)
• scientific article; zbMATH DE number 1696795 (Why is no real title available?)
• A new generic scheme for functional logic programming with constraints
• scientific article; zbMATH DE number 3907744 (Why is no real title available?)
• A proposal for disequality constraints in Curry
• Reporting failures in functional logic programs

Describes a project that uses

Uses Software

• TOY

This page was built for publication: Failure and equality in functional logic programming

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