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 条
  • [31] Methodology for parallel structured programming in logic environments
    Buttarazzi, B.
    International journal of mini & microcomputers, 1995, 17 (03): : 119 - 126
  • [32] Parallel logic programming based on the Andorra principle
    Haridi, Seif
    Proceedings of the International Conference on Logic Programming, 1991,
  • [33] DEBUGGER FOR A PARALLEL LOGIC PROGRAMMING LANGUAGE FLENG
    TATEMURA, J
    TANAKA, H
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 485 : 87 - 96
  • [34] The Life of a Logic Programming System
    Costa, Vitor Santos
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 1 - 6
  • [35] The Fusemate Logic Programming System
    Baumgartner, Peter
    AUTOMATED DEDUCTION, CADE 28, 2021, 12699 : 589 - 601
  • [36] Optimising parallel logic programming systems for scalable machines
    Costa, VS
    Bianchini, R
    EURO-PAR '98 PARALLEL PROCESSING, 1998, 1470 : 831 - 841
  • [37] REDUCTION OF CODE SPACE IN PARALLEL LOGIC PROGRAMMING SYSTEMS
    HWANG, ZY
    HU, SR
    SUN, CZ
    GAO, YQ
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 506 : 454 - 470
  • [38] 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
  • [39] 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
  • [40] Parallel language for inference engines based on logic programming
    Giandonato, Giuseppe
    Sofi, Giorgio
    CSELT Technical Reports, 1988, 16 (06): : 555 - 561
12345