🚀 go-pugleaf

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