Department of Computer Science Weizmann Institute of Science

Welcome to BioSpi and EFCP (Emulated Flat Concurrent Prolog)

To download the most recent release of the system, click efcp-release.tar.gz, and select Save (or Save it to Disk on Netscape). Then browse to the directory to which it is to be copied, and select Save.

To expand the release, enter:

A directory named Efcp-release and a system of sub-directories will be expanded in the current directory.

Cygwin, Linux, Macintosh, Redhat and Ubuntu users may expand the release by:

A release may be installed on cygwin, linux, maci386, macosx, redhat, sgi, solaris and ubuntu platforms. To install it on one or more of those processors, see Efcp-release/Logix/README.

Documentation for Logix, SpiFcp and BioSpi is at EFCP.

A tutorial on SpiFcp and Logix is Tutorial/tutorial.pdf.

Example of runnable programs are in Examples/.

A course given in 2001 at the Weizmann Institute of Science, Department of Mathematics is in Biomolecular Processes as Concurrent Computation.

See BioSPI for infomation about the BioSPI Project.


Comments and suggestions to bill@wisdom.weizmann.ac.il

William Silverman
Faculty of Mathematics and Computer Science
The Weizmann Institute of Science
POB 26
Rehovot 76100, Israel
Phone: 972-8-867-3390
Fax: 972-8-934-4308


This file was last modified on