AN IMPROVED DATA-DEPENDENCY-BASED BACKTRACKING SCHEME FOR PROLOG

被引：0
作者：
MALHOTRA, VM
TO, TV
KANCHANASUT, K
机构：
来源：
INFORMATION PROCESSING LETTERS | 1989年 / 31卷 / 04期
关键词：
D O I：
10.1016/0020-0190(89)90121-X
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：185 / 189
页数：5
相关论文
共 7 条
[1]  
BRUYNOOGHE M, 1984, IMPLEMENTATIONS PROL, P194
[2]   MAXIMAL UNIFIABLE SUBSETS AND MINIMAL NON-UNIFIABLE SUBSETS [J].
CHEN, TY ;
LASSEZ, JL ;
PORT, GS .
NEW GENERATION COMPUTING, 1986, 4 (02) :133-152
[3]  
CODOGNET C, 1988, 5TH P INT C S, P247
[4]  
COX PT, 1984, IMPLEMENTATIONS PROL, P216
[5]   A DATA-DEPENDENCY-BASED INTELLIGENT BACKTRACKING SCHEME FOR PROLOG [J].
KUMAR, V ;
LIN, YJ .
JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (02) :165-181
[6]  
TO TV, 1988, THESIS ASIAN I TECHN
[7]  
WARREN DHD, 1983, SRI309 TECH NOT
1