Functional logic programming with failure: a set-oriented view

DOI10.1007/3-540-45653-8_31MaRDI QIDQ2996183zbMATH OpenOpenAlexFDO

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

Publication date 6 May 2011

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45653-8_31

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• A proof theoretic approach to failure in functional logic programming
• scientific article; zbMATH DE number 1696795
• scientific article; zbMATH DE number 1942461
• Failure and equality in functional logic programming
• Reporting failures in functional logic programs

Cited in

(8)

• Evaluation strategies for functional logic programming
• scientific article; zbMATH DE number 1696795 (Why is no real title available?)
• Failure and equality in functional logic programming
• Semantic determinism and functional logic program properties
• Reporting failures in functional logic programs
• scientific article; zbMATH DE number 3907744 (Why is no real title available?)
• scientific article; zbMATH DE number 1942461 (Why is no real title available?)
• A proof theoretic approach to failure in functional logic programming

Describes a project that uses

Uses Software

• TOY

This page was built for publication: Functional logic programming with failure: a set-oriented view

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