EFFICIENT INTERPRETATION OF PROLOG PROGRAMS

被引：0

作者：

BARKLUND, J ^{[1
]}

机构：

[1] UNIV UPPSALA,DEPT COMP SCI,UPMAIL,S-75120 UPPSALA,SWEDEN

来源：

SIGPLAN NOTICES | 1987年 / 22卷 / 07期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：132 / 137

页数：6

共 50 条

[41] Parallel execution of prolog programs: A survey
Gupta, G
Pontelli, E
Ali, KAM
Carlsson, M
Hermenegildo, MV
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2001, 23 (04): : 472 - 602
[42] EXECUTING PASCAL PROGRAMS ON A PROLOG ARCHITECTURE
CHEN, G
WILLIAMS, MH
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1987, 29 (06) : 285 - 290
[43] ON REWRITE PROGRAMS - SEMANTICS AND RELATIONSHIP WITH PROLOG
BONACINA, MP
HSIANG, J
[J]. JOURNAL OF LOGIC PROGRAMMING, 1992, 14 (1-2): : 155 - 180
[44] EFFICIENT PROLOG - A PRACTICAL TUTORIAL
COVINGTON, MA
[J]. ARTIFICIAL INTELLIGENCE REVIEW, 1991, 5 (04) : 273 - 287
[45] EFFICIENT INTEGRATION OF SIMPLIFICATION INTO PROLOG
CHEONG, PH
FRIBOURG, L
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 359 - 370
[46] AN EFFICIENT TECHNIQUE FOR THE DEVELOPMENT OF COMPUTER-PROGRAMS FOR ELECTROCARDIOGRAM INTERPRETATION
ONULESCU, L
DAMSA, T
[J]. REVUE ROUMAINE DE MEDECINE-MEDECINE INTERNE, 1982, 20 (01): : 39 - 43
[47] Efficient groundness analysis in Prolog
Howe, JM
King, A
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 95 - 124
[48] Efficient interpretation of propositional multiple-valued logic programs
EscaladaImaz, G
Manya, F
[J]. ADVANCES IN INTELLIGENT COMPUTING - IPMU '94, 1995, 945 : 428 - 439
[49] FORMULATION OF INDUCTION FORMULAS IN VERIFICATION OF PROLOG PROGRAMS
KANAMORI, T
FUJITA, H
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 281 - 299
[50] Unification-free Prolog programs revisited
Etalle, S
[J]. JOURNAL OF PROGRAMMING LANGUAGES, 1996, 4 (04): : 187 - 210

← 1 2 3 4 5 →