taskSavannah Administration - Tasks: task #6966, Submission of Emulated Flat...

 
 

task #6966: Submission of Emulated Flat Concurrent Prolog

Submitter:  William Silverman <zevkaspi>
Submitted:  Fri 01 Jun 2007 08:07:33 AM UTC
   
 
Should Start On:  Fri 01 Jun 2007 12:00:00 AM UTC Should be Finished on:  Mon 11 Jun 2007 12:00:00 AM UTC
Category:  Project Approval Priority:  * 5 - Normal
Status:  Cancelled Privacy:  Public
Assigned to:  sp Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Fri 20 Jul 2007 06:50:52 AM UTC, comment #5: 

Hi William,

We did not get a response from you, so we deleted your project from the pending queue.

If you would still like to have your project hosted at Savannah, please register it again.

The re-registration URL found in our acknowledgment of your earlier registration will direct you to the proper location where you can re-register your project.

Regards,

Stephan

Stephan Peijnik <sp>
Thu 05 Jul 2007 07:49:06 AM UTC, comment #4: 

Hi William,

I am waiting for an answer from you.

If within one week I still do not get a reply, I will remove your project. You will still be able to register it again once you have the time to deal with the registration issues.

Are you still willing to host your project at Savannah? If not, please tell us - we don't bite, and it will make us gain time.

Regards,

Stephan

Stephan Peijnik <sp>
Fri 29 Jun 2007 09:20:32 AM UTC, comment #3: 

Hi William,
 
While evaluating your project I have noticed a problem which is described below.


In order to release your project properly and unambiguously under the GNU GPL, please place copyright notices and permission-to-copy statements at the beginning of every copyrightable file, usually any file more than 10 lines long.

In addition, if you haven't already, please include a copy of the plain text version of the GPL, available from http://www.gnu.org/licenses/gpl.txt, into a file named "COPYING".

For more information, see http://www.gnu.org/licenses/gpl-howto.html.

If some of your files cannot carry such notices (e.g. binary files), then you can add a README file in the same directory containing the copyright and license notices. Check http://www.gnu.org/prep/maintain/html_node/Copyright-Notices.html for further information.

The GPL FAQ explains why these procedures must be followed.  To learn why a copy of the GPL must be included with every copy of the code, for example, see http://www.gnu.org/licenses/gpl-faq.html#WhyMustIInclude.


If you are willing to make the changes mentioned above, please provide us with an URL to an updated tarball of your project.  Upon review, we will reconsider your project for inclusion in Savannah.

To help us better keep track of your registration, please use the tracker's web interface following the link below. Do not reply directly, the registration process is not driven by e-mail, and we will not receive such replies.

Regards,

Stephan

Stephan Peijnik <sp>
Fri 29 Jun 2007 08:55:27 AM UTC, comment #2: 

Hello William,

I am sorry for the huge delay you have been facing, but we are currently working on a rather huge backlog.

Please send the files to sp__at__gnu__dot__org so I can review your project.

Regards,

Stephan

Stephan Peijnik <sp>
Fri 29 Jun 2007 08:48:35 AM UTC, comment #1: 

There has been NO action on my project submission!

Please inform me of an e-mail address to which I may send the 3 files which are specified in my submission (only one of them (Documentation.tar.gz) is small enough to attach.

Please provide me with a realistic date for completion of the submission (Monday 06/11/2007 at 00:00 is long past).

William Silverman <zevkaspi>
Fri 01 Jun 2007 08:07:33 AM UTC, original submission:  

A new project has been registered at Savannah
This project account will remain inactive until a site admin approves or discards the registration.


Registration Administration


While this item will be useful to track the registration process, approving or discarding the registration must be done using the specific Group Administration page, accessible only to site administrators, effectively logged as site administrators (superuser):



Registration Details


  • Name: Emulated Flat Concurrent Prolog
  • System Name:  efcp
  • Type: non-GNU software & documentation
  • License: GNU General Public License V2 or later





Description:

EFCP is an implementation of the language Flat Concurrent Prolog (FCP).  The system consists of an emulator of the language, and Logix, a system written entirely in extended FCP (see
http://www.weizmann.ac.il/home/biospi/LogixDocs/logix.ps ).
For an executable version, download
http://www.weizmann.ac.il/home/biospi/aspic-release.tar.gz .

The Emulator operates on a virtual machine, originally a Warren Abstract Machine (see Houri A. and Shapiro E. (1989) A sequential abstract machine for Flat Concurrent Prolog, J. Logic Programming 7, 85–123) .  Currently it operates on a more complex instruction set (see S. Kliger. Compiling Concurrent Logic Programming Languages. PhD thesis, The Weizmann Institute of Science, Rehovot, October 1992).

The Emulator operates on Variables, Constants (integer, real, string, nil), Compound objects (list, tuple, vector), Modules, Procedures and Instructions (see http://www.weizmann.ac.il/~biospi/supplement.mss , Terminology, Appendices). Modules are collections of Procedures.  Procedures are referenced syntactically by extended Horn Clauses. The primary Emulation loop selects a Procedure which is ready to be reduced.  Each clause of the procedure consists of a guard and a body.  The guard is a sequential list of predicates, each of which is represented by a sequential list of Instructions.  The clauses are examined (sequentially), resulting in success, suspension or failure.  A clause succeeds if each of its guard predicates succeed.  In case of success, changes due to the guard are committed, and the the procedure calls are queued for reduction.  A clause suspends if some guard predicate cannot be reduced due to an as yet uninstantiated variable; changes due to the guard are rescinded.  A Procedure suspends, if no clause succeeds, but some clause suspends.  A suspended Procedure is held until some variable on which it depends changes status (e.g. it is instantiated).  A clause fails if some predicate in the guard fails; changes due to the guard are rescinded.  A Procedure fails if every clause fails.  In case a Procedure fails, a message containing the procedure call is queued to a failure list.

The Emulator is extended to include support for non-logical functions (e.g. file, interface, math, timer, tty) – see the corresponding C programs.  Extensions have been added to support instructions which involve complex operations (e.g. ctl, freeze_term).  Extensions may be added to accelerate operations which might be performed less efficiently by Procedures or may require synchronization (e.g. concatenate, spicomm).  The doors extension supports internet communication.

The Logix system provides a kernel operating system and various support procedures, such as file access, an interactive shell, parsers, translators, compilers, debuggers, formatters, etc.  It consists of a hierarchy of directories containing modules (sets of Procedures) of the system.  A user is logically attached as a sub-hierarchy of the system directory.  The user may call his own or Logix Procedures in other modules, using the syntax <module name>#<procedure call> (see http://www.weizmann.ac.il/~biospi/supplement.mss , Services, System Service, Other Utilities).  The user at a console interacts with his Procedures and with the system via a tty interface, which is normally served by a shell.

In addition to the basic FCP language, various extensions of the language, including colon, compound, implicit extend the syntax and simplify notation (see http://www.weizmann.ac.il/~biospi/supplement.mss , Language).  The language syntax may be used to define new operators or to redefine existing operator syntax and/or priority.  The language evaluate may be used to add syntactic macros to any of the languages.   Another kind of extension extends any of the languages to include new functionality (e.g. Distributed Flat Concurrent Prolog, dfcp , Stochastic Pi Calculus, spifcp ) – these languages usually employ an emulator extension.  Language extensions are accomplished by module transformation – multiple transformations may be applied to a module (e.g. [evaluate, compound, colon] ).



Other Comments:

Some perl scripts used for the spifcp extensionare available in
http://www.weizmann.ac.il/~biospi/bin .  A small executable version of the system is in the the e-mail'ed Logix.tar.gz .  Please supply an e-mail address for me to send Logix.tar.gz, Documentation.tar.gz, Source.tar.gz .


William Silverman <zevkaspi>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by sp (Posted a comment)
  • -email is unavailable- added by zevkaspi (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.

     

    Follow 5 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2007-07-20 sp StatusPing-ed Cancelled
        Open/ClosedOpen Closed
    2007-07-05 sp StatusWait reply Ping-ed
    2007-06-29 sp StatusNone Wait reply
        Assigned toNone sp

    Back to the top

    Powered by Savane 3.13-3230.
    Corresponding source code