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 条
  • [1] Declarative Reasoning on Explanations Using Constraint Logic Programming
    State, Laura
    Ruggieri, Salvatore
    Turini, Franco
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 132 - 141
  • [2] Declarative debugging of missing answers in constraint functional-logic programming
    Caballero, Rafael
    Artalejo, Mario Rodriguez
    Virseda, Rafael del Vado
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 425 - 427
  • [3] Declarative diagnosis of wrong answers in constraint functional-logic programming
    Caballero, Rafael
    Artalejo, Mario Rodriguez
    del Vado Virseda, Rafael
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 421 - 422
  • [4] Declarative diagnosis of missing answers in constraint functional-logic programming
    Caballero, Rafael
    Artalejo, Mario Rodriguez
    Virseda, Rafael del Vado
    FUNCTIONAL AND LOGIC PROGRAMMING, 2008, 4989 : 305 - 321
  • [5] Integration of declarative and constraint programming
    Hofstedt, Petra
    Pepper, Peter
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2007, 7 : 93 - 121
  • [6] A DECLARATIVE LOGIC PROGRAMMING ENVIRONMENT
    KOMOROWSKI, HJ
    JOURNAL OF SYSTEMS AND SOFTWARE, 1988, 8 (02) : 77 - 89
  • [7] Logic programming and constraint logic programming
    Cohen, J
    ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
  • [8] FULLY DECLARATIVE LOGIC PROGRAMMING
    PLAZA, JA
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 414 - 427
  • [9] Declarative constraint programming with definitional trees
    Virseda, RD
    FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2005, 3717 : 184 - 199
  • [10] Railway scheduling with declarative constraint programming
    Geske, Ulrich
    Declarative Programming for Knowledge Management, 2006, 4369 : 117 - 134
12345