Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for logic programming datalog
datalog
x
logic-programming
x
18 search results found
Logica
⭐
1,632
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
Souffle
⭐
822
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Percival
⭐
497
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Crepe
⭐
371
Datalog compiler embedded in Rust as a procedural macro
Ascent
⭐
244
logic programming in Rust
Datalog
⭐
230
An in-memory datalog implementation for OCaml.
Eclair Lang
⭐
178
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
Formulog
⭐
137
Datalog with support for SMT queries and first-order functional programming
Datalog
⭐
67
simplified query engine based on logic programming paradigm
Sicp Logic
⭐
58
A Clojure implementation of the logic programming language from chapter 4 of SICP
Mixologician
⭐
46
optimize your home bar with ✨logic programming✨
Jatalog
⭐
41
Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
Abcdatalog
⭐
34
Datalog that's as easy as ABC.
Logician
⭐
20
🖖 Prolog-style Logic Programming in pure R
Minikanren Datalog
⭐
16
Datalog implemented in minikanren
Dakilang
⭐
6
Interpreter for the Daki logic programming language
Psc Query
⭐
6
PureScript source code knowledge extraction and querying support.
Dlog
⭐
6
Maybe the smallest Java Datalog system
Related Searches
Prolog Logic Programming (125)
1-18 of 18 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.