Transformations of logic programs

被引：0

|

作者：

Nigiyan, S.A.

Khachoyan, L.O.

机构：

来源：

Programmirovanie | / 06期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：17 / 28

相关论文

共 50 条

[1] Transformations of logic programs
Nigiyan, SA
Khachoyan, LO
PROGRAMMING AND COMPUTER SOFTWARE, 1997, 23 (06) : 302 - 309
[2] Transformations of logic programs with goals as arguments
Pettorossi, A
Proietti, M
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 : 495 - 537
[3] Transformations of logic programs on infinite lists
Pettorossi, Alberto
Senni, Valerio
Proietti, Maurizio
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2010, 10 : 383 - 399
[4] Transformations of logic programs related to causality and planning
Erdem, E
Lifschitz, V
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 107 - 116
[5] Unfold/fold transformations for disjunctive logic programs
Gergatsoulis, M
INFORMATION PROCESSING LETTERS, 1997, 62 (01) : 23 - 29
[6] Schema-based transformations of logic programs in λProlog
Olmer, P
Stepánek, P
LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 472 - 472
[7] UNFOLD FOLD TRANSFORMATIONS AND LOOP OPTIMIZATION OF LOGIC PROGRAMS
DEBRAY, SK
SIGPLAN NOTICES, 1988, 23 (07): : 297 - 307
[8] ABSTRACT INTERPRETATION OF LOGIC PROGRAMS USING MAGIC TRANSFORMATIONS
DEBRAY, S
RAMAKRISHNAN, R
JOURNAL OF LOGIC PROGRAMMING, 1994, 18 (02): : 149 - 176
[9] A TECHNIQUE FOR TRANSFORMING LOGIC PROGRAMS BY FOLD-UNFOLD TRANSFORMATIONS
ALEXANDRE, F
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 203 - 216
[10] On the power of stratified logic programs with value invention for expressing database transformations
Cabibbo, L
DATABASE THEORY - ICDT '95, 1995, 893 : 208 - 221

← 1 2 3 4 5 →