Typed SLD-Resolution: Dynamic Typing for Logic Programming

被引：0
|
作者：
Barbosa, Joao [1 ]
Florido, Mario [1 ]
Costa, Vitor Santos [1 ]
机构：
[1] Univ Porto, LIACC, INESC, Dept Ciencia Comp,Fac Ciencias, Rua Campo Alegre S-N, P-4169007 Porto, Portugal
来源：
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022) | 2022年 / 13474卷
关键词：
Logic programming; Operational semantics; Types;
D O I：
10.1007/978-3-031-16767-6_7
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that computes answers in logic programming, and the declarative semantics, which sees logic programs as formulas and its semantics as models. Here, we define a new operational semantics called TSLD-resolution, which stands for Typed SLD-resolution, where we include a value "wrong", that corresponds to the detection of a type error at run-time. For this we define a new typed unification algorithm. Finally we prove the correctness of TSLD-resolution with respect to a typed declarative semantics.
引用
收藏
页码：123 / 141
页数：19
相关论文
共 50 条
  • [41] Race Logic: A Hardware Acceleration for Dynamic Programming Algorithms
    Madhavan, Advait
    Sherwood, Timothy
    Strukov, Dmitri
    2014 ACM/IEEE 41ST ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA), 2014, : 517 - 528
  • [42] Dynamic Programming Algorithms as Products of Weighted Logic Programs
    Cohen, Shay B.
    Simmons, Robert J.
    Smith, Noah A.
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 114 - 129
  • [43] The refined extension principle for semantics of dynamic logic programming
    Alferes J.J.
    Banti F.
    Brogi A.
    Leite J.A.
    Studia Logica, 2005, 79 (1) : 7 - 32
  • [44] Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints
    Li, Lening
    Fu, Jie
    2019 AMERICAN CONTROL CONFERENCE (ACC), 2019, : 1696 - 1703
  • [45] A Dynamic Preference Logic for reasoning about Agent Programming
    Souza, Marlo
    Moreira, Alvaro
    Vieira, Renata
    Meyer, John-Jules Ch
    2017 6TH BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), 2017, : 133 - 138
  • [46] ALPprolog - A new logic programming method for dynamic domains
    Drescher, Conrad
    Thielscher, Michael
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 451 - 468
  • [47] LOGIC PROGRAMMING ENVIRONMENTS - DYNAMIC PROGRAM ANALYSIS AND DEBUGGING
    DUCASSE, M
    NOYE, J
    JOURNAL OF LOGIC PROGRAMMING, 1994, 20 : 351 - 384
  • [48] Denotational semantics of dynamic fuzzy logic programming language
    Zhao, Xiaofang
    Li, Fanzhang
    2006 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, 2006, : 409 - +
  • [49] A constraint logic programming algorithm for modeling dynamic pricing
    Oliveira, Fernando S.
    INFORMS JOURNAL ON COMPUTING, 2008, 20 (01) : 69 - 77
  • [50] RESOLUTION OF DYNAMIC OPTIMIZATION PROBLEMS BY MARGINALISTIC DYNAMIC-PROGRAMMING
    MESLIER, F
    SANDRIN, P
    RAIRO-RECHERCHE OPERATIONNELLE-OPERATIONS RESEARCH, 1981, 15 (04): : 363 - 381
12345