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] Parallel logic programming based on the Andorra principle
Haridi, Seif
Proceedings of the International Conference on Logic Programming, 1991,
[32] Methodology for parallel structured programming in logic environments
Buttarazzi, B.
International journal of mini & microcomputers, 1995, 17 (03): : 119 - 126
[33] DEBUGGER FOR A PARALLEL LOGIC PROGRAMMING LANGUAGE FLENG
TATEMURA, J
TANAKA, H
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 485 : 87 - 96
[34] The Fusemate Logic Programming System
Baumgartner, Peter
AUTOMATED DEDUCTION, CADE 28, 2021, 12699 : 589 - 601
[35] The Life of a Logic Programming System
Costa, Vitor Santos
LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 1 - 6
[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] Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Komendantskaya, Ekaterina
McCusker, Guy
Power, John
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 2011, 6486 : 111 - +
[39] COMPARING 2 PARALLEL LOGIC-PROGRAMMING ARCHITECTURES
TICK, E
IEEE SOFTWARE, 1989, 6 (04) : 71 - 80
[40] Parallel language for inference engines based on logic programming
Giandonato, Giuseppe
Sofi, Giorgio
CSELT Technical Reports, 1988, 16 (06): : 555 - 561