73 results found Sort:
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Created
2020-10-09
1,075 commits to main branch, last one 7 days ago
The Power of Prolog: Introduction to modern Prolog
Created
2017-07-20
385 commits to master branch, last one about a month ago
SWI-Prolog Main development repository
Created
2014-03-07
31,823 commits to master branch, last one 2 hours ago
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.
Created
2016-03-12
10,641 commits to master branch, last one 6 days ago
Tools for transparent data transformation
Created
2017-10-27
1,441 commits to epsilon branch, last one about a year ago
High performance, concurrent functional programming abstractions
Created
2017-07-13
4,959 commits to master branch, last one 4 days ago
The OpenCog (hyper-)graph database and graph rewriting system
Created
2015-04-27
34,108 commits to master branch, last one about a month ago
A declarative programming framework
Created
2017-03-07
490 commits to master branch, last one 6 years ago
The only reasonable scripting engine for Go.
Created
2020-11-03
729 commits to main branch, last one 5 months ago
🤔 A grounder and solver for logic programs.
Created
2016-05-10
1,937 commits to master branch, last one 9 months ago
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Created
2021-10-26
116 commits to main branch, last one 2 years ago
An open source Prolog interpreter in JavaScript
Created
2017-11-26
700 commits to master branch, last one 2 years ago
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Created
2021-07-11
829 commits to main branch, last one 2 months ago
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
Created
2013-11-09
300 commits to master branch, last one 3 months ago
Datalog compiler embedded in Rust as a procedural macro
Created
2020-08-31
63 commits to main branch, last one 2 years ago
Logic programming in Rust
Created
2021-09-19
155 commits to master branch, last one 27 days ago
An interpreter for learning and exploring pure λ-calculus
Created
2017-08-05
269 commits to master branch, last one 3 years ago
Logtalk - declarative object-oriented logic programming language
Created
2012-08-17
12,234 commits to master branch, last one 3 days ago
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
Created
2022-01-08
5 commits to main branch, last one 3 years ago
Rust bindings for the Z3 solver.
Created
2018-03-08
510 commits to master branch, last one 3 months ago
Shen language kernel sources for porters
Created
2015-03-15
475 commits to master branch, last one 7 months ago
An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.
analogy
awesome
bayesian
planning
abduction
pragmatics
commonsense
awesome-list
hybrid-system
explainable-ai
theory-of-mind
mind-simulation
intuitive-physics
logic-programming
language-of-thought
scientific-discovery
general-pattern-theory
developmental-psychology
artificial-general-intelligence
computational-cognitive-science
Created
2020-09-13
2,077 commits to master branch, last one 7 hours ago
A reference library for constraint-solving with propagators and CDCL.
Created
2019-11-24
47 commits to master branch, last one 2 years ago
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Created
2015-12-07
2,154 commits to master branch, last one 4 months ago
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
Created
2020-12-06
1,006 commits to master branch, last one 2 months ago
Deep Learning and Logical Reasoning from Data and Knowledge
Created
2018-07-07
74 commits to master branch, last one 4 months ago
An in-memory datalog implementation for OCaml.
Created
2012-12-24
223 commits to master branch, last one 5 months ago
tar creator+extractor in ~100 lines of prolog
Created
2023-01-18
6 commits to master branch, last one 2 years ago
A Compiler for the Popr Language
Created
2012-10-07
1,802 commits to master branch, last one 4 years ago
A CUE-based framework for portable, evolvable schema
Created
2021-10-21
649 commits to main branch, last one 9 months ago