Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help |
The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...
The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.
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 | Summary | Distribution | Download |
datalog-2.6-20.fc38.aarch64.html | A Lightweight Deductive Database using Datalog | Fedora 38 for aarch64 | datalog-2.6-20.fc38.aarch64.rpm |
datalog-2.6-20.fc38.i686.html | A Lightweight Deductive Database using Datalog | Fedora 38 for x86_64 | datalog-2.6-20.fc38.i686.rpm |
datalog-2.6-20.fc38.ppc64le.html | A Lightweight Deductive Database using Datalog | Fedora 38 for ppc64le | datalog-2.6-20.fc38.ppc64le.rpm |
datalog-2.6-20.fc38.s390x.html | A Lightweight Deductive Database using Datalog | Fedora 38 for s390x | datalog-2.6-20.fc38.s390x.rpm |
datalog-2.6-20.fc38.x86_64.html | A Lightweight Deductive Database using Datalog | Fedora 38 for x86_64 | datalog-2.6-20.fc38.x86_64.rpm |
datalog-2.6-19.fc37.aarch64.html | A Lightweight Deductive Database using Datalog | Fedora 37 for aarch64 | datalog-2.6-19.fc37.aarch64.rpm |
datalog-2.6-19.fc37.i686.html | A Lightweight Deductive Database using Datalog | Fedora 37 for x86_64 | datalog-2.6-19.fc37.i686.rpm |
datalog-2.6-19.fc37.ppc64le.html | A Lightweight Deductive Database using Datalog | Fedora 37 for ppc64le | datalog-2.6-19.fc37.ppc64le.rpm |
datalog-2.6-19.fc37.s390x.html | A Lightweight Deductive Database using Datalog | Fedora 37 for s390x | datalog-2.6-19.fc37.s390x.rpm |
datalog-2.6-19.fc37.x86_64.html | A Lightweight Deductive Database using Datalog | Fedora 37 for x86_64 | datalog-2.6-19.fc37.x86_64.rpm |
Generated by rpm2html 1.6