RSig Home Page
RSig is an extension of A-Prolog that allows the definition
of modules and the specification of the signature (argument types)
of relations and functions.
Here you can download the current implementation of RSig,
which is based on lparse.
The prototype works as a replacement of lparse.
The latest release is 1.4.
You can see a list of the latest major changes
here.
The major improvements introduced with the 1.4 release are:
-
Fixed a sporadic crash in the parser.
An example of an RSig program can be found here.
The latest definition of the syntax and semantics of RSig
can be found
here.
Installation and Usage
The prototype of RSig is installed and used like lparse.
WARNING: currently, the executable generated when
compiling RSig is called lparse. To avoid overwriting
your existing copy of lparse during installation, we
recommend to rename the executable for rsig as lparse-rsig
and to copy it manually to the location where you want
it to reside (e.g. /usr/local/bin).
On most systems, RSig can be compiled and installed with the
sequence of commands below, where rsig_archive_name is the
name of the file you downloaded from this web page:
- gunzip rsig_archive_name.tgz
- tar -xf rsig_archive_name.tar
- cd rsig_archive_name
- ./configure
- make
- mv src/lparse src/lparse-rsig
- cp src/lparse-rsig /usr/local/bin
[as root or administrator!]
Downloads
RSig is distributed under the GNU Public License.
Questions, Bugs, etc.
Send emails to marcello.balduccini@ttu.edu.
Authors
RSig was designed and implemented by Marcello Balduccini.
References
Marcello Balduccini,
Modules and Signature Declarations for A-Prolog: Progress Report.
In Software Engineering for Answer Set Programming Workshop (SEA07), May 2007.
Back to my home page
Author: Marcello Balduccini (marcello.balduccini@ttu.edu)
Last Update: 07/18/2007