datalog-2.6-2.fc25.i686.rpm


Advertisement

Description

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 i686
Package type rpm
Installed size 199.50 KB
Download size 69.03 KB
Official Mirror dl.fedoraproject.org
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.

Alternatives

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

Requires

Name Value
libc.so.6(GLIBC_2.11) -
liblua-5.3.so -
libm.so.6 -
libreadline.so.6 -
rtld(GNU_HASH) -

Provides

Name Value
datalog = 2.6-2.fc25
datalog(x86-32) = 2.6-2.fc25
libdatalog.so.0 -

Download

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

Install Howto

Install the datalog rpm package:

# dnf install datalog

Files

Path
/usr/bin/datalog
/usr/lib/libdatalog.so.0
/usr/lib/libdatalog.so.0.0.0
/usr/share/doc/datalog/AUTHORS
/usr/share/doc/datalog/COPYING.LIB
/usr/share/doc/datalog/ChangeLog
/usr/share/doc/datalog/NEWS
/usr/share/doc/datalog/README
/usr/share/doc/datalog/datalog.html
/usr/share/info/datalog.info.gz
/usr/share/lua/5.3/datalog.lua
/usr/share/man/man1/datalog.1.gz

Changelog

2016-06-17 - John D. Ramsdell <ramsdell@mitre.org> - 2.6-2
- Enabled readline support
2016-06-02 - John D. Ramsdell <ramsdell@mitre.org> - 2.6-1
- Made header compilable and documented dl_mark and dl_reset
2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 2.5-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2015-06-17 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.5-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2015-04-28 - John D. Ramsdell <ramsdell@mitre.org> - 2.5-1
- Updated Lua sources to version 5.3.0
2014-08-16 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
2014-06-07 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
2013-08-03 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
2013-05-14 - Tom Callaway <spot@fedoraproject.org> - 2.4-2
- rebuild for lua 5.2
2013-03-27 - John D. Ramsdell <ramsdell@mitre.org> - 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
Advertisement
Advertisement