69 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,033 commits to main branch, last one 2 days ago
Introduction to modern Prolog
Created
2017-07-20
381 commits to master branch, last one 26 days ago
SWI-Prolog Main development repository
Created
2014-03-07
31,379 commits to master branch, last one a day 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,627 commits to master branch, last one about a month 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,823 commits to master branch, last one 3 days ago
The OpenCog (hyper-)graph database and graph rewriting system
Created
2015-04-27
33,537 commits to master branch, last one 6 months ago
A declarative programming framework
Created
2017-03-07
490 commits to master branch, last one 5 years ago
The only reasonable scripting engine for Go.
Created
2020-11-03
729 commits to main branch, last one about a month ago
🤔 A grounder and solver for logic programs.
Created
2016-05-10
1,937 commits to master branch, last one 4 months ago
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Created
2021-10-26
116 commits to main branch, last one about a year ago
An open source Prolog interpreter in JavaScript
Created
2017-11-26
700 commits to master branch, last one about a year ago
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Created
2021-07-11
824 commits to main branch, last one 13 days ago
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
Created
2013-11-09
299 commits to master branch, last one 25 days ago
Datalog compiler embedded in Rust as a procedural macro
Created
2020-08-31
63 commits to main branch, last one about a year 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
11,832 commits to master branch, last one 18 hours ago
Logic programming in Rust
Created
2021-09-19
138 commits to master branch, last one 9 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 2 years ago
Shen language kernel sources for porters
Created
2015-03-15
475 commits to master branch, last one 3 months ago
Rust bindings for the Z3 solver.
Created
2018-03-08
506 commits to master branch, last one 14 days ago
A reference library for constraint-solving with propagators and CDCL.
Created
2019-11-24
47 commits to master branch, last one about a year 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
1,972 commits to master branch, last one a day ago
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
Created
2020-12-06
1,005 commits to master branch, last one 27 days ago
Deep Learning and Logical Reasoning from Data and Knowledge
Created
2018-07-07
74 commits to master branch, last one 7 days 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 5 days ago
An in-memory datalog implementation for OCaml.
Created
2012-12-24
223 commits to master branch, last one about a month ago
tar creator+extractor in ~100 lines of prolog
Created
2023-01-18
6 commits to master branch, last one about a year ago
A Compiler for the Popr Language
Created
2012-10-07
1,802 commits to master branch, last one 3 years ago
A CUE-based framework for portable, evolvable schema
Created
2021-10-21
649 commits to main branch, last one 5 months ago