antoy@antares.cs.pdx.edu (Sergio Antoy) (06/25/91)
Thanks to those who answered my question > I would appreciate pointers to Parallel/Concurrent implementations > Logic Programming Languages. > Items which are public domain and ftp'able are particularly welcome. I got 3 answers and a few requests of a summary. Here it is ... ------------------------------------------------------------------ Geoff Sutcliffe Department of Computer Science, Email : geoff@cs.uwa.oz.au University of Western Australia, Phone : (09) 380 2305 Stirling Highway, Overseas : +61 9 380 2305 Nedlands, Western Australia, 6009. Here at UWA we have implemented Prolog-Linda, i.e. Prolog extended with the Linda paradigm for parallelism. The paper describing this system appears in Proceedings of AI'90 - The 4th Australian Conference on Artificial Intelligence. If you can't get that, let me know and I'll send a copy by Snail. The source is anonymous FTPable from bison.cs.uwa.oz.au in ~ftp.pub.prolog-linda. You will need to be using muProlog. If you would like a newer version, which runs on netbios on PCs, let me know and I'll try organise it. ------------------------------------------------------------------ David Hawley Location: 4th-lab, ICOT, 1-4-28 Mita, Minato-ku Tokyo 108 JAPAN. EMail: hawley@icot.or.jp, hawley@icot.jp@relay.cs.net, uucp:{enea,inria,kddlab,mit-eddie,ukc}!icot!hawley Some references for KL1, the concurrent logic language implemented at ICOT, and currently running on our own homegrown commercially-built hardware (such oxymorons aren't, when research is done in cooperation with industry). @inproceedings{MPSI-KL1, author = {Katsuto Nakajima and Yu Inamura and Nobuyuki Ichiyoshi and Kazuaki Rokusawa and Takashi Chikayama}, title = {Distributed Implementation of {KL1} on the {M}ulti-{PSI/V2}}, booktitle = {Proceedings of ICLP'89}, pages = {436-451}, year = 1989} @inproceedings{nakajima90, author = {Katsuto Nakajima and Nobuyuki Ichiyoshi}, title = {{E}valuation of {I}nter-processor {C}ommunication in the {KL1} {I}mplementation on the {M}ulti-{PSI}}, booktitle = {Proceedings of ICPP'90}, pages = {613-614}, year = 1990} @article{KL1-std, author = {Kazunori Ueda and Takashi Chikayama}, title = {Design of the Kernel Language for the Parallel Inference Machine}, journal = {Computer Journal}, year = 1990, month = {December}, note = "To appear"} % volume = {??}, % number = {??}, % pages = {??} @inproceedings{Chikayama-89, author= "K. Nakajima and Y. Inamura and K. Rokusawa and N. Ichiyoshi and T. Chikayama", title= "Distributed Implementation of KL1 on the Multi-PSI/V2", pages= "436--451", booktitle= "Sixth International Conference on Logic Programming", year= 1989} Location: 4th-lab, ICOT, 1-4-28 Mita, Minato-ku Tokyo 108 JAPAN. EMail: hawley@icot.or.jp, hawley@icot.jp@relay.cs.net, uucp:{enea,inria,kddlab,mit-eddie,ukc}!icot!hawley ------------------------------------------------------------------ William Pickles The STRAND Group sstl!will@relay.EU.net Please check out STRAND88 with Warren Harrison from pdx I think you will enjoy working with the software you have ------------------------------------------------------------------ COMMENT: From the last message I found out the existence of the following tutorial book: Strand, by Ian Foster and Stephen Taylor, Prentice Hall, Englewood Cliffs, NJ, 1990, which is a language with Prolog-like syntax and provisions for parallelism. Sorry I am vague, but I don't know it yet. An interesting feature is a mechanism in the language for calling code segments in C or Fortran, which makes Strand good for a "manager". Sergio Antoy Portland State University antoy@cs.pdx.edu