A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

DOI10.1016/j.entcs.2007.05.037zbMath1278.68048OpenAlexW2075021418MaRDI QIDQ2867959

Teresa Hortalá-González, Mario Rodríguez Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Sonia Estévez-Martín, Antonio J. Fernández

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.05.037

zbMATH Keywords

implementationconstraintsfunctional logic programmingcooperating solverslazy narrowing

Mathematics Subject Classification ID

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

Related Items (1)

A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>C</mml:mi><mml:mi>F</mml:mi><mml:mi>L</mml:mi><mml:mi>P</mml:mi></mml:math> Scheme

Uses Software

• SICStus
• CFLP

Cites Work

• SICStus Prolog—The first 25 years
• Symbolic-interval cooperation in constraint programming
• Integration of declarative and constraint programming
• Constraint functional logic programming over finite domains
• Frontiers of Combining Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming