Search Results for "datalog"
Sort By:
Showing 19 open source projects for "datalog"
View related business solutions-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
Soufflé
Datalog variant for tool designers crafting analyses in Horn clauses
...Futamura projections/partial evaluation for effective translation to parallel C++; optimized staged compilation; specialized data-structures for logical relations. Efficient translation to parallel C++ of Datalog programs (CAV'16, CC'16) Efficient interpretation using de-specialization techniques (PLDI'21) Specialized data structure for relations (PACT'19, PPoPP'19, PMAM'19) with optimal index selection (VLDB'18) Extended semantics of Datalog, e.g., permitting unbounded recursions with numbers and terms. Simple component model for Datalog specifications. ... -
2
Flix
The Flix Programming Language
Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values. -
3
Datalevin
A simple, fast and versatile Datalog database
Datalevin is an open-source Datalog-based database written in Clojure that runs natively on top of LMDB. It supports full ACID transactions, schema-less EDN data storage, vector search with SIMD acceleration, and text-based querying. Usable as an embedded library or as a client/server database with RBAC access, it acts like SQLite or Datomic on a ledger of immutable datoms, plus modern features like vector and full-text search. -
4
Mangle
Go library for Datalog-style logical reasoning and domain modeling
Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern data-intensive applications. ... -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
5
XTDB
General-purpose bitemporal database for SQL, Datalog & graph queries
XTDB is a general-purpose bitemporal database for SQL, Datalog & graph queries. XTDB contains a perfect, immutable record of every fact your system has ever known. See the entire history of your business, everywhere. Immutable records are incomplete without time-traveling queries. XTDB allows you to query the entire timeline. Make retroactive corrections, simplify data migrations, and get clarity on out-of-order events. -
6
DataScript
Immutable database and Datalog query engine for Clojure, ClojureScript
An immutable in-memory database and Datalog query engine in Clojure and ClojureScript. DataScript is meant to run inside the browser. It is cheap to create, quick to query and ephemeral. You create a database on page load, put some data in it, track changes, do queries and forget about it when the user closes the page. DataScript databases are immutable and based on persistent data structures. -
7
Datahike
A durable Datalog implementation adaptable for distribution
Datahike is a durable Datalog database powered by an efficient Datalog query engine. This project started as a port of DataScript to the hitchhiker-tree. All DataScript tests are passing, but we are still working on the internals. Having said this we consider Datahike usable for medium sized projects, since DataScript is very mature and deployed in many applications and the hitchhiker-tree implementation is heavily tested through generative testing. -
8
Datalog Educational System
Deductive Database with Datalog, SQL, RA, TRC, DRC
The Datalog Educational System (DES) is a deductive database with Datalog, SQL, Relational Algebra, Tuple Relational Calculus and Domain Relational Calculus as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS). -
9
ConceptBase.cc
A Database System for Metamodeling and Method Engineering
ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
The Datalog 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.
-
11
Cascalog
Data processing on Hadoop without the hassle
Cascalog is a powerful Clojure (and Java) data processing and querying library built atop Hadoop (via Cascading), providing a high-level, Datalog-inspired abstraction for both big data processing and local computation. Cascalog is hosted at Clojars, and some of its dependencies are hosted at Conjars. Both Clo/Con-jars are maven repos that's easy to use with maven or leiningen. The Cascalog website contains more information and links to Various articles and tutorials. The best way to get started with Cascalog is experiment with the toy datasets that ship with the project. -
12
RSVIEW32 Datalog Toolkit
View selected data from RSVIEW32 Datalogs
Excel workbook with VBA to stitch together multiple datalogs (say, taken at 1 day intervals), and display selected columns from them. Operates on narrow format datalogs. Also includes a tab to look up present values for plant monitoring. -
13
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.
-
14
NxBRE is a lightweight Business Rule Engine (aka Rule Based Engine) for the .NET platform, composed of a forward-chaining inference engine and an XML-driven flow control engine. It supports RuleML 0.9 Naf Datalog and Visio 2003 modeling.
-
15
StrixDB is a RDF store supporting SPARQL, SPARQL/Update and SPARQL/Protocol. This RDF graph database could be used standalone (as a Lua Module) or with httpd (Apache Web Server). Provides inference capabilities through Datalog rules.
-
16
This is a modified source code from TI Data Logger project which adds capability to log accelerations x-y-z. This project uses TI Code Composer Studio.
-
17
ParIRIS is an extension of the IRIS Datalog system, that allows massive parallelization and distributed evaluation using Map-Reduce.
-
18
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.
-
19
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.
- Previous
- You're on page 1
- Next
