A DATA-DEPENDENCY-BASED INTELLIGENT BACKTRACKING SCHEME FOR PROLOG

被引：4

作者：

KUMAR, V ^{[1
]}

LIN, YJ ^{[1
]}

机构：

[1] UNIV TEXAS,DEPT COMP SCI,ARTIFICIAL INTELLIGENCE LAB,AUSTIN,TX 78712

来源：

JOURNAL OF LOGIC PROGRAMMING | 1988年 / 5卷 / 02期

关键词：

D O I：

10.1016/0743-1066(88)90017-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：165 / 181

页数：17

共 26 条

[1]

BRUYNOOGHE M, 1984, IMPLEMENTATIONS PROL, P194

[2]

BRUYNOOGHE M, 1978, MATH LOGIC COMPUTER

[3]

CHANG JH, 1985, 30TH P IEEE COMP SOC, P218

[4]

CHANG JH, 1985, AUG P IEEE S LOG PRO, P10

[5]

CIEPIELEWSKI A, 1983, P IFIP 83 N HOLLAND

[6]

CODOGNET C, 1986, DEPTH 1ST INTELLIGEN

[7] AND PARALLELISM AND NONDETERMINISM IN LOGIC PROGRAMS [J].

CONERY, JS ;

KIBLER, DF .

[8]

COX P, 1981, IEEE T PATTERN ANAL, V3, P1

[9]

DECHTER R, 1986, 5TH P NATL C AI PHIL, P178

[10]

DeGroot, 1984, P INT C 5 GEN COMP S, P471