PARALLEL BACKTRACKING PROLOG ENGINE

被引：0
|
作者：
DEBLASI, M [1 ]
GENTILE, A [1 ]
LOPEZ, G [1 ]
FRANCO, A [1 ]
机构：
[1] UNIV BARI,IST SCI INFORMAZ,I-70126 BARI,ITALY
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1988年 / 24卷 / 1-5期
关键词：
D O I：
10.1016/0165-6074(88)90118-4
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
5
引用
收藏
页码：607 / 611
页数：5
相关论文
共 50 条
  • [1] DELTA-PROLOG - A DISTRIBUTED BACKTRACKING EXTENSION WITH EVENTS
    PEREIRA, LM
    MONTEIRO, L
    CUNHA, J
    APARICIO, JN
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 69 - 83
  • [2] ON THE EFFICIENCY OF PARALLEL BACKTRACKING
    RAO, VN
    KUMAR, V
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1993, 4 (04) : 427 - 437
  • [3] OR-PARALLEL PROLOG IN FLAT CONCURRENT PROLOG
    SHAPIRO, E
    JOURNAL OF LOGIC PROGRAMMING, 1989, 6 (03): : 243 - 267
  • [4] ON PARALLEL UNIFICATION FOR PROLOG
    HARLAND, J
    JAFFAR, J
    NEW GENERATION COMPUTING, 1987, 5 (03) : 259 - 279
  • [5] AN IMPROVED DATA-DEPENDENCY-BASED BACKTRACKING SCHEME FOR PROLOG
    MALHOTRA, VM
    TO, TV
    KANCHANASUT, K
    INFORMATION PROCESSING LETTERS, 1989, 31 (04) : 185 - 189
  • [6] A DATA-DEPENDENCY-BASED INTELLIGENT BACKTRACKING SCHEME FOR PROLOG
    KUMAR, V
    LIN, YJ
    JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (02): : 165 - 181
  • [7] PARALLEL COMPUTATION MODEL FOR PARALLEL PROLOG
    BLASKO, R
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 590 : 290 - 302
  • [8] SUBSUMER: A PROLOG θ-SUBSUMPTION ENGINE
    Santos, Jose
    Muggleton, Stephen
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 172 - 181
  • [9] On scalable parallel recursive backtracking
    Abu-Khzam, Faisal N.
    Daudjee, Khuzaima
    Mouawad, Amer E.
    Nishimura, Naomi
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2015, 84 : 65 - 75
  • [10] PROLOG/REX INFERENCE ENGINE
    VRANES, S
    STANOJEVIC, M
    EXPERT SYSTEMS, 1995, 12 (03) : 239 - 252
12345