A proof theoretic approach to failure in functional logic programming

DOI10.1017/S1471068403001728zbMath1085.68021MaRDI QIDQ4819004

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

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)

Related Items

Database query languages and functional logic programming ⋮ A new generic scheme for functional logic programming with constraints ⋮ Default rules for Curry ⋮ Functional Logic Programming: From Theory to Curry ⋮ Extra Variables Can Be Eliminated from Functional Logic Programs