[Savannah-register-public] [task #7101] Submission of Emulated Flat Concurrent Prolog

[William Silverman]

Follow-up Comment #3, task #7101 (project administration):

A new tadball is available at:

    ftp-dmz.weizmann.ac.il/pub/bill/EFCP.tar.gz

The tarball includes the (abstract) "binaries" since at present there is no
way to bootstrap the system (e.g. using a C code-generator); the system is
self-supporting.  The part EFCP/Logix is included for your convenience - if
you wish, I can include a script which extracts the "executable" system from
EFCP/Source/Logix.  Meanwhile, all of the source is in EFCP/Source; it can be
installed as is, without extracting the stripped "executable" version.

The address in the license notices has been corrected, and a contact e-mail
address has been added.  Thanks for the pointer to the migration script (btw,
it behaves somewhat oddly on cygwin).

The Documentation was included for your information.  It has to be completely
rewritten and reorganized.  Some of it, such as supplement.mss is very old. 
Other parts of the Documentation were written for molecular biologists,
particularly the SpiFcp and BioSpi sections.  If you wish, I can add licensing
information to the present documents and include it in the submission.

In fact, part of the documentation is hosted at:

      http://dit.unitn.it/biospiforum/

mostly as part of the current distribution of "BioSpi".  More documentation
is available as part of:

      http://www.wisdom.weizmann.ac.il/~biopsi/

Also several papers referring to the Logix system are available in
"Concurrent Prolog: Collected Papers. Volume 1 & 2"; Shapiro, Ehud; MIT Press,
1987; ISBN: 0262192551.

Thanks for getting the submission moving.


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?7101>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/