OASys: An AND/OR parallel logic programming system

被引：0
|
作者：
Department of Informatics, Aristotle Univ. Thessaloniki, 54006, Thessaloniki, Greece [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
Parallel Comput | / 3卷 / 321-336期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
相关论文
共 50 条
  • [41] PARALLEL LOGIC PROGRAMMING USING THE LINDA MODEL OF COMPUTATION
    CIANCARINI, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 574 : 110 - 125
  • [42] Special issue on the Workshop on Parallel Logic Programming - Preface
    Chikayama, T
    Tick, E
    NEW GENERATION COMPUTING, 1996, 14 (01) : 1 - 2
  • [43] PARALLEL LOGIC PROGRAMMING .1. GUARDED LANGUAGES
    DEKERGOMMEAUX, JC
    CODOGNET, P
    ROBERT, P
    SYRE, JC
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1989, 8 (03): : 205 - 224
  • [44] Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
    Komendantskaya, Ekaterina
    McCusker, Guy
    Power, John
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 2011, 6486 : 111 - +
  • [45] COMPARING 2 PARALLEL LOGIC-PROGRAMMING ARCHITECTURES
    TICK, E
    IEEE SOFTWARE, 1989, 6 (04) : 71 - 80
  • [46] PARALLEL GENERALIZED LR PARSER BASED ON LOGIC PROGRAMMING
    NUMAZAKI, H
    TAMURA, N
    TANAKA, H
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 485 : 97 - 106
  • [47] PARALLEL OBJECTS ON DISTRIBUTED CONSTRAINT LOGIC PROGRAMMING MACHINES
    KOEGEL, JF
    SIGPLAN NOTICES, 1989, 24 (04): : 123 - 125
  • [48] ON PARALLEL PROGRAMMING METHODOLOGY IN GHC - EXPERIENCE IN PROGRAMMING A PROOF PROCEDURE OF TEMPORAL LOGIC
    TAKAHASHI, K
    KANAMORI, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 264 : 92 - 103
  • [49] The Hydra Parallel Programming System
    Powers, Franklin E., Jr.
    Alaghband, Gita
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2008, 20 (01): : 1 - 27
  • [50] The ll parallel programming system
    deSande, F
    Garcia, F
    Leon, C
    Rodriguez, C
    IEEE TRANSACTIONS ON EDUCATION, 1996, 39 (04) : 457 - 464
12345