There are 23 repositories under logic-programming topic.
Introduction to modern Prolog
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.
High performance, concurrent functional programming abstractions
A declarative programming framework
An open source Prolog interpreter in JavaScript
Reasoning Engine for Neuro-Symbolic AI
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
Logtalk - declarative object-oriented logic programming language
Shen language kernel sources for porters
Implementation for the Neural Logic Machines (NLM).
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
Deep Learning and Logical Reasoning from Data and Knowledge
An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR