[Bug 720857] New: Review Request: datalog - A Lightweight Deductive Database using Datalog

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.

Summary: Review Request: datalog - A Lightweight Deductive Database using Datalog

https://bugzilla.redhat.com/show_bug.cgi?id=720857

           Summary: Review Request: datalog - A Lightweight Deductive
                    Database using Datalog
           Product: Fedora
           Version: rawhide
          Platform: All
        OS/Version: Linux
            Status: NEW
          Severity: medium
          Priority: unspecified
         Component: Package Review
        AssignedTo: nobody at fedoraproject.org
        ReportedBy: ramsdell at mitre.org
         QAContact: extras-qa at fedoraproject.org
                CC: notting at redhat.com,
                    package-review at lists.fedoraproject.org
    Classification: Fedora
      Story Points: ---


Spec URL: http://www.ccs.neu.edu/home/ramsdell/tools/datalog/datalog.spec
SRPM URL:
http://www.ccs.neu.edu/home/ramsdell/tools/datalog/datalog-1.6-1.src.rpm
Description: 

This package contains a lightweight deductive database system.
Queries and database updates are expressed using Datalog--a
declarative logic language in which each formula is a function-free
Horn clause, and every variable in the head of a clause must appear in
the body of the clause.  The use of Datalog syntax and an
implementation based on tabling intermediate results, ensures that all
queries terminate.

The components in this package are designed to be small, and usable on
memory constrained devices.  The package includes an interactive
interpreter for Datalog, and the developments package has a library
that can be used to embed the interpreter into C programs.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.