Solving combinatorial problems with a constraint functional logic language

被引:0
作者
Fernández, AJ
Hortalá-González, T
Sáenz-Pérez, F
机构
[1] Univ Malaga, Depto Lenguajes & Ciencias Computac, E-29071 Malaga, Spain
[2] Univ Complutense Madrid, Depto Sistemas Informat & Programac, Madrid, Spain
来源
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS | 2003年 / 2562卷
关键词
constraints; functional logic programming; finite domains;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
This paper describes a proposal to incorporate finite domain constraints in a functional logic system. The proposal integrates functions, higher-order patterns, partial applications, non-determinism, logical variables, currying, types, lazyness, domain variables, constraints and finite domain propagators. The paper also presents TOY(FD), an extension of the functional logic language TOY that provides FD constraints, and shows, by examples, that TOY(FD) combines the power of constraint logic programming with the higher-order characteristics of functional logic programming.
引用
收藏
页码:320 / 338
页数:19
相关论文
共 50 条
[21]   Checks and Balances Constraint Solving without Surprises in Object-Constraint Programming Languages [J].
Felgentreff, Tim ;
Millstein, Todd ;
Borning, Alan ;
Hirschfeld, Robert .
ACM SIGPLAN NOTICES, 2015, 50 (10) :767-782
[22]   Improving the Performance of FD Constraint Solving in a CFLP System [J].
Castineiras, Ignacio ;
Saenz-Perez, Fernando .
FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 :88-103
[23]   An overview of a constraint solving engine with multiple optimization algorithms [J].
Jolevski, I ;
Loskovska, S ;
Chorbev, I ;
Mihajlov, D .
ITI 2005: Proceedings of the 27th International Conference on Information Technology Interfaces, 2005, :637-643
[24]   A LOGIC-BASED MECHANICAL SYSTEM CONSTRAINT MODEL [J].
WU, JK ;
WANG, JH ;
FENG, CX ;
LIU, TH .
ENGINEERING WITH COMPUTERS, 1995, 11 (03) :157-166
[25]   A simple and efficient Boolean solver for Constraint Logic Programming [J].
Codognet, P ;
Diaz, D .
JOURNAL OF AUTOMATED REASONING, 1996, 17 (01) :97-129
[26]   The Complexity of Temporal Constraint Satisfaction Problems [J].
Bodirsky, Manuel ;
Kara, Jan .
JOURNAL OF THE ACM, 2010, 57 (02)
[27]   A constraint based structure description language for biosequences [J].
Eidhammer I. ;
Jonassen I. ;
Grindhaug S.H. ;
Gilbert D. ;
Ratnayake M. .
Constraints, 2001, 6 (2-3) :173-200
[28]   A Constraint-based Language for Multiparty Interactions [J].
Brodo, Linda ;
Olarte, Carlos .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2020, 351 :25-50
[29]   Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems [J].
Ugo Montanari ;
Francesca Rossi .
Applied Categorical Structures, 1999, 7 :333-370
[30]   Graph rewriting, constraint solving and tiles for coordinating distributed systems [J].
Montanari, U ;
Rossi, F .
APPLIED CATEGORICAL STRUCTURES, 1999, 7 (04) :333-370