On Correctness of Normal Logic Programs

被引：0
|
作者：
Drabent, Wlodzimierz [1 ,2 ]
机构：
[1] Polish Acad Sci, Inst Comp Sci, Ul Jana Kazimierza 5, PL-01248 Warsaw, Poland
[2] Linkoping Univ, Dept Comp & Informat Sci, SE-58183 Linkoping, Sweden
来源：
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022) | 2022年 / 13474卷
关键词：
Logic programming; Negation; Program correctness; Kunen semantics; COMPLETENESS; NEGATION;
D O I：
10.1007/978-3-031-16767-6_8
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present sufficient conditions for correctness of logic programs with negation (normal programs). We focus on the Kunen semantics, this declarative semantics is a closest one to what is implemented in Prolog (negation by finite failure) when floundering is avoided. We also recall an existing result for the well-founded semantics.
引用
收藏
页码：142 / 154
页数：13
相关论文
共 50 条
12345