Distributing And- and Or-Work in the Andorra-I Parallel Logic Programming System

作者： Ines de Castro Dutra

DOI:

关键词:

摘要:

暂无可下载资源，当前可以选择系统获取到有开放资源时通知我或者直接发起求助文献求助

参考文章(93)

Péter Szeredi, Performance Analysis of the Aurora Or-Parallel Prolog System. NACLP. pp. 713- 732 ,(1989)

Takashi Kurozumi, Overview of the Ten Years of the FGSC Project. Future Generation Computer Systems. pp. 9- 19 ,(1992)

Seif Haridi, Andrzej Ciepielewski, A Formal Model for Or-Parallel Execution of Logic Programs. ifip congress. pp. 299- 305 ,(1983)

Gopal Gupta, Multiprocessor Execution of Logic Programs ,(1994)

David H. D. Warren, The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues. SLP. pp. 92- 102 ,(1987)

Akihiro Itashiki, Ken Satoh, Yukio Sohma, Hideo Masuzawa, Kouichi Kumon, KABU-WAKE: A New Parallel Inference Method and Its Evaluation. COMPCON. pp. 168- 172 ,(1986)

Laxmikant V. Kalé, The REDUCE-OR Process Model for Parallel Evaluation of Logic Programs. international conference on lightning protection. pp. 616- 632 ,(1987)

Vipin Kumar, Yow Lin, And-parallel Execution of Logic Programs on a Shared Memory Multiprocessor:a Summary of Results international conference on lightning protection. pp. 1123- 1141 ,(1988)

Takashi Chikayama, Hiroshi Yashiro, Tetsuro Fujise, A portable and reasonably efficient implementation of KL1 international conference on logic programming. pp. 833- ,(1993)

Håkan Millroth, Johan Bevemyr, Thomas Lindgren, Reform Prolog: the language and its implementation international conference on logic programming. pp. 283- 298 ,(1993)