Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming

DOI10.1007/11799573_31zbMath1131.68370OpenAlexW2584520200MaRDI QIDQ5449618

Rafael del Vado Vírseda, Mario Rodríguez Artalejo, Rafael Caballero

Publication date: 11 March 2008

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11799573_31

Mathematics Subject Classification ID

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

Related Items (1)

A new generic scheme for functional logic programming with constraints

This page was built for publication: Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming