steve@wisdom.BITNET (Steve Taylor) (07/18/86)
We are pleased to announce the availability of a parallel Flat
Concurrent Prolog (FCP) [1,2] interpreter for the Intel iPSC
Hypercube. The interpreter may be used for initial experiments with
parallel logic programming; it includes most of the kernel predicates
available in the Logix system.
FCP programs may be developed on a uniprocessor under the
Logix system, which is announced seperately [3]; this environment operates
on the VAX, SUN or Intel 310 systems. Recompilation allows the
resulting program to execute on the Intel iPSC hypercube. Simple
techniques have been developed to map processes and code to the
physical machine [4]. These techniques allow multiple virtual
machines to execute concurrently; multiple applications may execute
concurrently on a given virtual machine.
PLEASE NOTE: The interpreter is an experimental system which has only
recently been completed; it is being made available on an informal
basis to encourage members of the community to experiment with the
language.
The handling fee for a non-commercial license to the
Parallel FCP Interpreter and the Logix system for the 310 is
$250 U.S. To obtain a license form and/or a copy of the Logix user
manual write to:
Steve Taylor
Department of Computer Science
The Weizmann Institute of Science
Rehovot 76100, Israel
To obtain an electronic copy of the license write to:
CSnet, Bitnet: steve@wisdom
ARPAnet: steve%wisdom.bitnet@wiscvm.arpa
Sincerely,
Steve Taylor
References
[1] C. Mierowsky, S. Taylor, E. Shapiro, J. Levy and M. Safra, "The
Design and Implementation of Flat Concurrent Prolog", Weizmann
Institute Technical Report CS85-09, 1986.
[2] A. Houri and E. Shapiro, "A sequential abstract machine for Flat
Concurrent Prolog", Weizmann Institute Technical Report CS86-20,
1986.
[3] W. Silverman, M. Hirsch, A. Houri, and E. Shapiro, "The Logix
system user manual, Version 1.21", Weizmann Institute Technical
Report CS86-21.
[4] S. Taylor, E. Av-Ron and E. Shapiro, "A Layered Method for
Process and Code Mapping", Weizmann Institute Technical Report
CS86-17.