[comp.lang.prolog] PARLOG, FCP

lawyer@ida.org (Steve Lawyer) (12/01/88)

Can anyone tell me where I can get PARLOG or FCP?

jlevy@arisia.Xerox.COM (Jacob Levy) (12/03/88)

FCP can be obtained from the Weizmann Institute, through Dr. Bill
Silverman, at:

	Dr. Bill Silverman
	Dept. of Computer Science
	Weizmann Institute
	Rehovot 76100
	Israel

	e-mail: bill%wisdom.bitnet@cunyvm.cuny.edu
		bill@wisdom.bitnet

The FCP system is running and supported on Sun2, Sun3, CCI, Vax,
and I believe there is also an unsupported version for Pyramid.
There's also a development version for the Intel iPSC.

You can also get Parlog from Imperial College, University of
London, but I don't have the exact details.

A more appropriate place for discussions on concurrent logic
programming and constraint programming languages is
clp.x@xerox.com, a mailing list managed by myself. Please send
your requests for joining this list to clp-request.x@xerox.com.


--Jacob Levy

yk@a.nl.cs.cmu.edu (Yasusi Kanada) (12/07/88)

You might not need the following information, but I would like to
add it.  There is another important committed choice and-parallel
language.  It is GHC (Guarded Horn Clauses).  It is probably available
from the following person, who is the designer of GHC.

	Dr Kazunori Ueda
	ICOT Research Center
	4-28, Mita, Minato-ku
	Tokyo, Japan 108

	ueda@icot.jp (@relay.cs.net)

-Yasusi Kanada
 yk@a.nl.cs.cmu.edu



--