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> Schem

DOI10.1016/j.entcs.2007.01.026zbMath1279.68039OpenAlexW2157290766MaRDI QIDQ2873802

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

Publication date: 24 January 2014

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.01.026

zbMATH Keywords

constraintsfunctional-logic programminglazy narrowingcooperative goal solving

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Uses Software

• CFLP

Cites Work

• A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
• Constraint functional logic programming over finite domains
• Frontiers of Combining Systems
• Unnamed Item
• Unnamed Item

This page was built for publication: 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> Schem