Constraint functional logic programming over finite domains

In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP($\fd$)) with a lazy functional logic programming language which seamlessly embodies finite domain ($\fd$) constraints. This proposal increases the expressiveness and power of constraint logic...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 7; no. 5; pp. 537 - 582
Main Authors:	Fernandez, Antonio J, Hortala-Gonzalez, Teresa, Saenz-Perez, Fernando, Del Vado-Virseda, Rafael
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.09.2007
Subjects:	Regular Papers functional logic programming constraint logic programming finite domains
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!