65 results found Sort:
Oso is a batteries-included framework for building authorization in your application.
Created
2020-05-04
1,213 commits to main branch, last one 4 months ago
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
Created
2020-10-09
884 commits to main branch, last one a day ago
Introduction to modern Prolog
Created
2017-07-20
372 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 11 months ago
SWI-Prolog Main development repository
Created
2014-03-07
31,053 commits to master branch, last one 14 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,600 commits to master branch, last one about a month ago
High performance, concurrent functional programming abstractions
Created
2017-07-13
4,516 commits to master branch, last one 29 days ago
The OpenCog (hyper-)graph database and graph rewriting system
Created
2015-04-27
33,537 commits to master branch, last one 20 days ago
A declarative programming framework
Created
2017-03-07
490 commits to master branch, last one 5 years 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
🤔 A grounder and solver for logic programs.
Created
2016-05-10
1,936 commits to master branch, last one 3 months ago
An open source Prolog interpreter in JavaScript
Created
2017-11-26
700 commits to master branch, last one about a year ago
The only reasonable scripting engine for Go.
Created
2020-11-03
713 commits to main branch, last one 3 months ago
Reasoning Engine for Neuro-Symbolic AI
Created
2021-07-11
774 commits to main branch, last one 6 days ago
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy query...
Created
2013-11-09
263 commits to master branch, last one 15 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
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
Logtalk - declarative object-oriented logic programming language
Created
2012-08-17
11,344 commits to master branch, last one 13 hours ago
logic programming in Rust
Created
2021-09-19
130 commits to master branch, last one 7 days ago
Shen language kernel sources for porters
Created
2015-03-15
466 commits to master branch, last one 17 days ago
Rust bindings for the Z3 solver.
Created
2018-03-08
491 commits to master branch, last one a day 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
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
Created
2020-12-06
955 commits to master branch, last one 18 days ago
Deep Learning and Logical Reasoning from Data and Knowledge
Created
2018-07-07
73 commits to master branch, last one about a year ago
tar creator+extractor in ~100 lines of prolog
Created
2023-01-18
6 commits to master branch, last one about a year ago
An in-memory datalog implementation for OCaml.
Created
2012-12-24
216 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,831 commits to master branch, last one a day 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
1,925 commits to master branch, last one 2 months ago
A Compiler for the Popr Language
Created
2012-10-07
1,802 commits to master branch, last one 3 years ago