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.

System Arch

RPM resource datalog

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.

Found 1 sites for datalog

Found 10 RPM for datalog

PackageSummaryDistributionDownload
datalog-2.6-20.fc38.aarch64.htmlA Lightweight Deductive Database using DatalogFedora 38 for aarch64datalog-2.6-20.fc38.aarch64.rpm
datalog-2.6-20.fc38.i686.htmlA Lightweight Deductive Database using DatalogFedora 38 for x86_64datalog-2.6-20.fc38.i686.rpm
datalog-2.6-20.fc38.ppc64le.htmlA Lightweight Deductive Database using DatalogFedora 38 for ppc64ledatalog-2.6-20.fc38.ppc64le.rpm
datalog-2.6-20.fc38.s390x.htmlA Lightweight Deductive Database using DatalogFedora 38 for s390xdatalog-2.6-20.fc38.s390x.rpm
datalog-2.6-20.fc38.x86_64.htmlA Lightweight Deductive Database using DatalogFedora 38 for x86_64datalog-2.6-20.fc38.x86_64.rpm
datalog-2.6-19.fc37.aarch64.htmlA Lightweight Deductive Database using DatalogFedora 37 for aarch64datalog-2.6-19.fc37.aarch64.rpm
datalog-2.6-19.fc37.i686.htmlA Lightweight Deductive Database using DatalogFedora 37 for x86_64datalog-2.6-19.fc37.i686.rpm
datalog-2.6-19.fc37.ppc64le.htmlA Lightweight Deductive Database using DatalogFedora 37 for ppc64ledatalog-2.6-19.fc37.ppc64le.rpm
datalog-2.6-19.fc37.s390x.htmlA Lightweight Deductive Database using DatalogFedora 37 for s390xdatalog-2.6-19.fc37.s390x.rpm
datalog-2.6-19.fc37.x86_64.htmlA Lightweight Deductive Database using DatalogFedora 37 for x86_64datalog-2.6-19.fc37.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet