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 30 RPM for datalog

PackageSummaryDistributionDownload
datalog-2.6-17.fc35.aarch64.htmlA Lightweight Deductive Database using DatalogFedora Rawhide for aarch64datalog-2.6-17.fc35.aarch64.rpm
datalog-2.6-17.fc35.aarch64.htmlA Lightweight Deductive Database using DatalogFedora 35 for aarch64datalog-2.6-17.fc35.aarch64.rpm
datalog-2.6-17.fc35.armv7hl.htmlA Lightweight Deductive Database using DatalogFedora 35 for armhfpdatalog-2.6-17.fc35.armv7hl.rpm
datalog-2.6-17.fc35.armv7hl.htmlA Lightweight Deductive Database using DatalogFedora Rawhide for armhfpdatalog-2.6-17.fc35.armv7hl.rpm
datalog-2.6-17.fc35.i686.htmlA Lightweight Deductive Database using DatalogFedora 35 for x86_64datalog-2.6-17.fc35.i686.rpm
datalog-2.6-17.fc35.i686.htmlA Lightweight Deductive Database using DatalogFedora Rawhide for x86_64datalog-2.6-17.fc35.i686.rpm
datalog-2.6-17.fc35.ppc64le.htmlA Lightweight Deductive Database using DatalogFedora 35 for ppc64ledatalog-2.6-17.fc35.ppc64le.rpm
datalog-2.6-17.fc35.ppc64le.htmlA Lightweight Deductive Database using DatalogFedora Rawhide for ppc64ledatalog-2.6-17.fc35.ppc64le.rpm
datalog-2.6-17.fc35.s390x.htmlA Lightweight Deductive Database using DatalogFedora 35 for s390xdatalog-2.6-17.fc35.s390x.rpm
datalog-2.6-17.fc35.s390x.htmlA Lightweight Deductive Database using DatalogFedora Rawhide for s390xdatalog-2.6-17.fc35.s390x.rpm
datalog-2.6-17.fc35.x86_64.htmlA Lightweight Deductive Database using DatalogFedora 35 for x86_64datalog-2.6-17.fc35.x86_64.rpm
datalog-2.6-17.fc35.x86_64.htmlA Lightweight Deductive Database using DatalogFedora Rawhide for x86_64datalog-2.6-17.fc35.x86_64.rpm
datalog-2.6-16.fc34.aarch64.htmlA Lightweight Deductive Database using DatalogFedora 34 for aarch64datalog-2.6-16.fc34.aarch64.rpm
datalog-2.6-16.fc34.armv7hl.htmlA Lightweight Deductive Database using DatalogFedora 34 for armhfpdatalog-2.6-16.fc34.armv7hl.rpm
datalog-2.6-16.fc34.i686.htmlA Lightweight Deductive Database using DatalogFedora 34 for x86_64datalog-2.6-16.fc34.i686.rpm
datalog-2.6-16.fc34.ppc64le.htmlA Lightweight Deductive Database using DatalogFedora 34 for ppc64ledatalog-2.6-16.fc34.ppc64le.rpm
datalog-2.6-16.fc34.s390x.htmlA Lightweight Deductive Database using DatalogFedora 34 for s390xdatalog-2.6-16.fc34.s390x.rpm
datalog-2.6-16.fc34.x86_64.htmlA Lightweight Deductive Database using DatalogFedora 34 for x86_64datalog-2.6-16.fc34.x86_64.rpm
datalog-2.6-15.fc33.aarch64.htmlA Lightweight Deductive Database using DatalogFedora 33 for aarch64datalog-2.6-15.fc33.aarch64.rpm
datalog-2.6-15.fc33.armv7hl.htmlA Lightweight Deductive Database using DatalogFedora 33 for armhfpdatalog-2.6-15.fc33.armv7hl.rpm
datalog-2.6-15.fc33.i686.htmlA Lightweight Deductive Database using DatalogFedora 33 for x86_64datalog-2.6-15.fc33.i686.rpm
datalog-2.6-15.fc33.ppc64le.htmlA Lightweight Deductive Database using DatalogFedora 33 for ppc64ledatalog-2.6-15.fc33.ppc64le.rpm
datalog-2.6-15.fc33.s390x.htmlA Lightweight Deductive Database using DatalogFedora 33 for s390xdatalog-2.6-15.fc33.s390x.rpm
datalog-2.6-15.fc33.x86_64.htmlA Lightweight Deductive Database using DatalogFedora 33 for x86_64datalog-2.6-15.fc33.x86_64.rpm
datalog-2.6-14.fc32.aarch64.htmlA Lightweight Deductive Database using DatalogFedora 32 for aarch64datalog-2.6-14.fc32.aarch64.rpm
datalog-2.6-14.fc32.armv7hl.htmlA Lightweight Deductive Database using DatalogFedora 32 for armhfpdatalog-2.6-14.fc32.armv7hl.rpm
datalog-2.6-14.fc32.i686.htmlA Lightweight Deductive Database using DatalogFedora 32 for x86_64datalog-2.6-14.fc32.i686.rpm
datalog-2.6-14.fc32.ppc64le.htmlA Lightweight Deductive Database using DatalogFedora 32 for ppc64ledatalog-2.6-14.fc32.ppc64le.rpm
datalog-2.6-14.fc32.s390x.htmlA Lightweight Deductive Database using DatalogFedora 32 for s390xdatalog-2.6-14.fc32.s390x.rpm
datalog-2.6-14.fc32.x86_64.htmlA Lightweight Deductive Database using DatalogFedora 32 for x86_64datalog-2.6-14.fc32.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet