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] Position Paper: Logic Programming for Parallel Irregular Applications
    Willcock, Jeremiah J.
    Lumsdaine, Andrew
    2012 SC COMPANION: HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS (SCC), 2012, : 269 - 272
  • [43] TOWARDS A PARALLEL VIRTUAL MACHINE FOR FUNCTIONAL LOGIC PROGRAMMING
    Alqaddoumi, Abdulla
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 222 - 225
  • [44] Special issue on the Workshop on Parallel Logic Programming - Preface
    Chikayama, T
    Tick, E
    NEW GENERATION COMPUTING, 1996, 14 (01) : 1 - 2
  • [45] PARALLEL LOGIC PROGRAMMING .1. GUARDED LANGUAGES
    DEKERGOMMEAUX, JC
    CODOGNET, P
    ROBERT, P
    SYRE, JC
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1989, 8 (03): : 205 - 224
  • [46] PARALLEL OBJECTS ON DISTRIBUTED CONSTRAINT LOGIC PROGRAMMING MACHINES
    KOEGEL, JF
    SIGPLAN NOTICES, 1989, 24 (04): : 123 - 125
  • [47] PARALLEL GENERALIZED LR PARSER BASED ON LOGIC PROGRAMMING
    NUMAZAKI, H
    TAMURA, N
    TANAKA, H
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 485 : 97 - 106
  • [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] PAP - A LOGIC PROGRAMMING SYSTEM BASED ON A CONSTRUCTIVE LOGIC
    MIGLIOLI, P
    MOSCATO, U
    ORNAGHI, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 306 : 143 - 156
12345