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 条

[1] Partial deduction in disjunctive logic programming
Sakama, C
Seki, H
[J]. JOURNAL OF LOGIC PROGRAMMING, 1997, 32 (03): : 229 - 245
[2] Logic programming as a basis for lean automated deduction
Beckert, B
Posegga, J
[J]. JOURNAL OF LOGIC PROGRAMMING, 1996, 28 (03): : 231 - 236
[3] Speedup of logic programs by binarization and partial deduction
Hruza, J
Stepánek, P
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 : 355 - 369
[4] PARTIAL DEDUCTION OF UPDATABLE DEFINITE LOGIC PROGRAMS
BENKERIMI, K
SHEPHERDSON, JC
[J]. JOURNAL OF LOGIC PROGRAMMING, 1994, 18 (01): : 1 - 26
[5] Abstraction within partial deduction for linear logic
Küngas, P
[J]. ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2004, 3249 : 52 - 65
[6] STRUCTURED PROLOG - A LANGUAGE FOR STRUCTURED LOGIC PROGRAMMING
GIORDANO, L
MARTELLI, A
ROSSI, G
[J]. SOFTWARE-CONCEPTS AND TOOLS, 1994, 15 (03): : 125 - 145
[7] Constraint solving in Logic Programming and in Automated Deduction: A comparison
Armando, A
Melis, E
Ranise, S
[J]. ARTIFICIAL INTELLIGENCE: METHODOLOGY SYSTEMS AND APPLICATIONS, 1998, 1480 : 28 - 38
[8] INCORPORATING EQUALITY INTO LOGIC PROGRAMMING VIA SURFACE DEDUCTION
COX, PT
PIETRZYKOWSKI, T
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1986, 31 (2-3) : 177 - 189
[9] Partial deduction for linear logic -: The symbolic negotiation perspective
Küngas, P
Matskin, M
[J]. DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES II, 2005, 3476 : 35 - 52
[10] PARTIAL EVALUATION IN LOGIC PROGRAMMING
LLOYD, JW
SHEPHERDSON, JC
[J]. JOURNAL OF LOGIC PROGRAMMING, 1991, 11 (3-4): : 217 - 242

← 1 2 3 4 5 →