Constraint functional logic programming over finite domains

DOI10.1017/S1471068406002924zbMath1129.68020MaRDI QIDQ5309079

Antonio J. Fernández, Fernando Sáenz-Pérez, Rafael del Vado Vírseda, Teresa Hortalá-González

Publication date: 9 October 2007

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

performance analysis

Mathematics Subject Classification ID

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

Related Items (4)

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 ⋮ Functional Logic Programming: From Theory to Curry ⋮ A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming ⋮ Programmed Search in a Timetabling Problem over Finite Domains

Uses Software

• Prolog

Cites Work

• Narrowing based procedures for equational disunification
• A deterministic lazy narrowing calculus
• Compiling constraints in clp(FD)
• A needed narrowing strategy
• An approach to declarative programming based on a rewriting logic
• Logic programming in the context of multiparadigm programming: the Oz experience
• Towards a meaning of life

This page was built for publication: Constraint functional logic programming over finite domains