Logtalk - declarative object-oriented logic programming language
Shen language kernel sources for porters
A reference library for constraint-solving with propagators and CDCL.
Implementation for the Neural Logic Machines (NLM).
tar creator+extractor in ~100 lines of prolog
An in-memory datalog implementation for OCaml.
Deep Learning and Logical Reasoning from Data and Knowledge
An awesome & curated list for Artificial General Intelligence, an emergi...
Ciao is a modern Prolog implementation that builds up from a logic-based...
A Compiler for the Popr Language
Logic programming in Swift
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
A new logic programming language.
An extensible, lightweight relational/logic programming DSL written in p...
A fast SAT solver