Search Results for "datalog"

x
Sort By:

Showing 3 open source projects for "datalog"

View related business solutions
Scientific/Engineering Linux Clear Filters & Widen Search
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Start Free
  • Veeam Data Platform v13.1 Icon
    Veeam Data Platform v13.1

    Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try Now
  • 1
    IRIS is an extensible reasoning engine for Datalog extended with function symbols, unsafe rules, negation, locally stratified or non-stratified programs, XML schema data types and a comprehensive and extensible set of built-in predicates.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Elly is a reasoner for entailment and satisfiability checking of ELP knowledge-bases. It is written in java and relies on the IRIS Datalog reasoner (https://sourceforge.net/projects/iris-reasoner) for its implementation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.
    1 Review
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

MongoDB Logo MongoDB