datalog-2.6-2.fc25.x86_64.rpm


Advertisement

Description

datalog - A Lightweight Deductive Database using Datalog

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: 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

Provides

  • datalog = 2.6-2.fc25
  • datalog(x86-64) = 2.6-2.fc25
  • libdatalog.so.0()(64bit)

    Download

    Install Howto

    Install the datalog rpm package:

    # dnf install datalog

    Files

    • /usr/bin/datalog
    • /usr/lib64/libdatalog.so.0
    • /usr/lib64/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)

    Advertisement
    Advertisement