PARTIAL DEDUCTION FOR STRUCTURED LOGIC PROGRAMMING

被引：5

作者：

BUGLIESI, M ^{[1
]}

LAMMA, E ^{[1
]}

MELLO, P ^{[1
]}

机构：

[1] DEIS UNIV BOLOGNA,I-40136 BOLOGNA,ITALY

来源：

JOURNAL OF LOGIC PROGRAMMING | 1993年 / 16卷 / 1-2期

关键词：

D O I：

10.1016/0743-1066(93)90024-B

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper, we discuss an extension of Partial Deduction in the framework of structured logic programs. The class of programs we consider includes statically configured systems such as block- and inheritance-based systems, as well as more dynamic configurations which support hypothetical reasoning and viewpoints. We show that the basic Partial Deduction definition can be extended to deal with a richer class of programs, while maintaining, under appropriate closedness conditions, the properties of soundness and completeness of the transformation which hold in the case of logic programming.

引用

页码：89 / 122

页数：34

共 50 条

[21] THE LOOP ABSORPTION AND THE GENERALIZATION STRATEGIES FOR THE DEVELOPMENT OF LOGIC PROGRAMS AND PARTIAL DEDUCTION
PROIETTI, M
PETTOROSSI, A
[J]. JOURNAL OF LOGIC PROGRAMMING, 1993, 16 (1-2): : 123 - 161
[22] PARTIAL DEDUCTION OF LOGIC PROGRAMS WRT WELL-FOUNDED SEMANTICS
ARAVINDAN, C
DUNG, PM
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 632 : 384 - 402
[23] Block structured scheduling using constraint logic programming
Badica, Amelia
Badica, Costin
Ivanovic, Mirjana
[J]. AI COMMUNICATIONS, 2020, 33 (01) : 41 - 57
[24] Towards efficient partial evaluation in logic programming
Fuller, DA
Bocic, SA
Bertossi, LE
[J]. NEW GENERATION COMPUTING, 1996, 14 (02) : 237 - 259
[25] DEDUCTION IN TRIVALENT LOGIC
FORT, M
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1973, 277 (17): : 823 - 825
[26] Adding partial functions to Constraint Logic Programming with sets
Cristia, Maximiliano
Rossi, Gianfranco
Frydman, Claudia
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 651 - 665
[27] Sonic partial deduction
Martin, J
Leuschel, M
[J]. PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 101 - 112
[28] Automated Deduction in Godel Logic
Guller, Dusan
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (03)
[29] THE ALGEBRA OF LOGIC AND THE THEORY OF DEDUCTION
LEBLANC, H
[J]. JOURNAL OF PHILOSOPHY, 1961, 58 (19): : 553 - 558
[30] Natural Deduction for Quantum Logic
K. Tokuo
[J]. Logica Universalis, 2022, 16 : 469 - 497

← 1 2 3 4 5 →