Declarative Compilation for Constraint Logic Programming

被引：1
|
作者：
Gallego Arias, Emilio Jesus [1 ]
Lipton, James [2 ]
Marino, Julio [3 ]
机构：
[1] Univ Penn, Philadelphia, PA 19104 USA
[2] Wesleyan Univ, Middletown, CT 06459 USA
[3] Univ Politecn Madrid, Madrid, Spain
来源：
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014) | 2015年 / 8981卷
关键词：
Logic programming; Constraint programming; Relation algebra; Rewriting; Semantics; UNIFICATION;
D O I：
10.1007/978-3-319-17822-6_17
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a new declarative compilation of logic programs with constraints into variable-free relational theories which are then executed by rewriting. This translation provides an algebraic formulation of the abstract syntax of logic programs. Management of logic variables, unification, and renaming apart is completely elided in favor of algebraic manipulation of variable-free relation expressions. We prove the translation is sound, and the rewriting system complete with respect to traditional SLD semantics.
引用
收藏
页码：299 / 316
页数：18
相关论文
共 50 条
  • [41] Exploring Declarative Local-Search Neighbourhoods with Constraint Programming
    Bjordal, Gustav
    Flener, Pierre
    Pearson, Justin
    Stuckey, Peter J.
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, 2019, 11802 : 37 - 53
  • [42] Cooperative constraint functional logic programming
    Marin, M
    Ida, T
    Suzuki, T
    INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2000, : 214 - 220
  • [43] Constraint Logic Programming and scheduling problems
    Varnier, C
    Baptiste, P
    INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2942 - 2946
  • [44] CONSTRAINT LOGIC PROGRAMMING-LANGUAGES
    COHEN, J
    COMMUNICATIONS OF THE ACM, 1990, 33 (07) : 52 - 68
  • [45] CONSTRAINT LOGIC PROGRAMMING AND OPTION TRADING
    LASSEZ, C
    MCALOON, K
    YAP, R
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1987, 2 (03): : 42 - 50
  • [46] Integrating answer set programming and constraint logic programming
    Veena S. Mellarkod
    Michael Gelfond
    Yuanlin Zhang
    Annals of Mathematics and Artificial Intelligence, 2008, 53 : 251 - 287
  • [47] Quantifier elimination for constraint logic programming
    Sturm, T
    COMPUTER ALGEBRA IN SCIENFIFIC COMPUTING, PROCEEDINGS, 2005, 3718 : 416 - 430
  • [48] Temporal annotated constraint logic programming
    Fruhwirth, T
    JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 555 - 583
  • [49] A step from Constraint Logic Programming to mathematical programming
    Rodosek, R
    SOR '97 - THE 4TH INTERNATIONAL SYMPOSIUM ON OPERATIONAL RESEARCH, PROCEEDINGS, 1997, : 201 - 206
  • [50] Experiments in reactive constraint logic programming
    Fages, F
    Fowler, J
    Sola, T
    JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3): : 185 - 212
12345