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

oso is an open source policy engine for authorization that’s embedded in your application

simplified query engine based on logic programming paradigm

The Hy Transformer

Rust bindings for the Z3 solver.

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

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