Introduction to modern Prolog

A declarative programming framework

Beautiful Streaming, Concurrent and Reactive Composition (Haskell)

Tools for transparent data transformation

The OpenCog (hyper-)graph database and graph rewriting system

An interpreter for learning and exploring pure λ-calculus

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.

An open source Prolog interpreter in JavaScript

A reference library for constraint-solving with propagators and CDCL.

The Official Shen Sources

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 querying with Prolog and also a Pythonic interface.

An in-memory datalog implementation for OCaml.

Logtalk - declarative object-oriented logic programming language

Logic programming in Swift

Implementation for the Neural Logic Machines (NLM).

A Compiler for the Popr Language

A fast SAT solver

Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic

A terse declarative logic programming language

explorations in core.logic

simplified query engine based on logic programming paradigm

The Hy Transformer

A Clojure implementation of the logic programming language from chapter 4 of SICP

Rust bindings for the Z3 solver.

Deep Learning and Logical Reasoning from Data and Knowledge

1v1 tank war model built by NetLogo 💥

Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation

Higher Order Prolog with Extensional Semantics

cplint is a suite of programs for reasoning with probabilistic logic programs

Answer Set & SAT solver for probability distribution-aware sampling and multimodel optimization using Differentiable Satisfiability