logic-programming topic

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

ciao-lang

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

LukasZahradnik

A fast SAT solver

go-air

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

FLHonker

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

ParhamP

A CUE-based framework for portable, evolvable schema

grafana

Rust implementation of µKanren, a featherweight relational programming language.

ekzhang

Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.

sebdumancic

Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.

AmziLS

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

friguzzi