datalog - A Lightweight Deductive Database using Datalog

Property Value
Distribution Fedora 25
Repository Fedora x86_64
Package name datalog
Package version 2.6
Package release 2.fc25
Package architecture x86_64
Package type rpm
Installed size 200.59 KB
Download size 68.11 KB
Official Mirror
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 development package has a library
that can be used to embed the interpreter into C programs.


Package Version Architecture Repository
datalog-2.6-2.fc25.i686.rpm 2.6 i686 Fedora
datalog-2.6-2.fc25.i686.rpm 2.6 i686 Fedora
datalog - - -


Name Value - - - -
rtld(GNU_HASH) -


Name Value
datalog = 2.6-2.fc25
datalog(x86-64) = 2.6-2.fc25 -


Type URL
Binary Package datalog-2.6-2.fc25.x86_64.rpm
Source Package datalog-2.6-2.fc25.src.rpm

Install Howto

Install the datalog rpm package:

# dnf install datalog




2016-06-17 - John D. Ramsdell <> - 2.6-2
- Enabled readline support
2016-06-02 - John D. Ramsdell <> - 2.6-1
- Made header compilable and documented dl_mark and dl_reset
2016-02-03 - Fedora Release Engineering <> - 2.5-3
- Rebuilt for
2015-06-17 - Fedora Release Engineering <> - 2.5-2
- Rebuilt for
2015-04-28 - John D. Ramsdell <> - 2.5-1
- Updated Lua sources to version 5.3.0
2014-08-16 - Fedora Release Engineering <> - 2.4-5
- Rebuilt for
2014-06-07 - Fedora Release Engineering <> - 2.4-4
- Rebuilt for
2013-08-03 - Fedora Release Engineering <> - 2.4-3
- Rebuilt for
2013-05-14 - Tom Callaway <> - 2.4-2
- rebuild for lua 5.2
2013-03-27 - John D. Ramsdell <> - 2.4-1
- Add support for ARM 64 bit CPU architecture (aarch64)

See Also

Package Description
datalog-devel-2.6-2.fc25.i686.rpm Datalog header file and library
datalog-devel-2.6-2.fc25.x86_64.rpm Datalog header file and library
datanommer-0.2.0-7.fc24.noarch.rpm A storage consumer for the Fedora Message Bus (fedmsg)
datanommer-commands-0.4.6-6.fc25.noarch.rpm Console commands for datanommer
datanucleus-api-jdo-3.2.8-3.fc24.noarch.rpm DataNucleus JDO API plugin
datanucleus-api-jdo-javadoc-3.2.8-3.fc24.noarch.rpm Javadoc for datanucleus-api-jdo
datanucleus-core-3.2.15-3.fc24.noarch.rpm DataNucleus Core
datanucleus-core-javadoc-3.2.15-3.fc24.noarch.rpm Javadoc for datanucleus-core
datanucleus-maven-parent-3.3-3.fc24.noarch.rpm DataNucleus Maven parent project
datanucleus-rdbms-3.2.13-4.fc24.noarch.rpm DataNucleus RDBMS
datanucleus-rdbms-javadoc-3.2.13-4.fc24.noarch.rpm Javadoc for datanucleus-rdbms
dataquay-0.9-12.fc25.i686.rpm Simple RDF for C++ and Qt applications
dataquay-0.9-12.fc25.x86_64.rpm Simple RDF for C++ and Qt applications
dataquay-devel-0.9-12.fc25.i686.rpm Development files for dataquay
dataquay-devel-0.9-12.fc25.x86_64.rpm Development files for dataquay