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 条

[1] OASys: An AND/OR parallel logic programming system
Vlahavas, I
Kefalas, P
Halatsis, C
PARALLEL COMPUTING, 1999, 25 (03) : 321 - 336
[2] ELIPSYS - A PARALLEL PROGRAMMING SYSTEM BASED ON LOGIC
DOROCHEVSKY, M
LI, LL
REEVE, M
SCHUERMAN, K
VERON, A
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 469 - 471
[3] SYSTEM STRUCTURE FOR PARALLEL LOGIC PROGRAMMING.
Diel, H.
Lenz, N.
Welsch, H.M.
Future Generation Computer Systems, 1986, 2 (04) : 225 - 231
[4] PERFORMANCE OF AN OR-PARALLEL LOGIC PROGRAMMING SYSTEM
TINKER, PA
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1988, 17 (01) : 59 - 92
[5] PARALLEL LOGIC PROGRAMMING
CLARK, KL
COMPUTER JOURNAL, 1990, 33 (06): : 482 - 493
[6] Parallel logic programming
Clark, K.L., 1600,
[7] Overview of the PloSys OR-parallel logic programming system
Morel, E
Briat, J
deKergommeaux, JC
1ST AUSTRIAN-HUNGARIAN WORKSHOP ON DISTRIBUTED AND PARALLEL SYSTEMS, PROCEEDINGS, 1996, 1996 (09): : 165 - 172
[8] Parallel Inductive Logic Programming System for Superlinear Speedup
Nishiyama, Hiroyuki
Ohwada, Hayato
INDUCTIVE LOGIC PROGRAMMING (ILP 2017), 2018, 10759 : 112 - 123
[9] Parallel logic programming on distributed shared memory system
Huang, ZY
Sun, CZ
Sattar, A
Lei, WZ
1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1138 - 1142
[10] PARALLEL PROGRAMMING IN TEMPORAL LOGIC
HALE, R
MOSZKOWSKI, B
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 275 - 296