Functional plus logic programming with built-in and symbolic constraints

DOI10.1007/10704567_9MaRDI QIDQ4494367zbMATH OpenFDO

Authors Puri Arenas-Sánchez, F. J. López-Fraguas, M. Rodríguez Artalejo

Publication date 10 August 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10704567_9

zbMATH Keywords

lazy functional logic languageSETA

Mathematics Subject Classification ID

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

Recommendations

• Set constraints and logic programming
• Adding linear constraints over real numbers to Curry
• Constraint functional logic programming over finite domains

Cited in

(7)

• Adding linear constraints over real numbers to Curry
• scientific article; zbMATH DE number 4016167 (Why is no real title available?)
• scientific article; zbMATH DE number 1336275 (Why is no real title available?)
• Solving combinatorial problems with a constraint functional logic language
• SMT solving for functional programming over infinite structures
• Axiomatization of a functional logic language
• A new generic scheme for functional logic programming with constraints

This page was built for publication: Functional plus logic programming with built-in and symbolic constraints

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