Datalog with support for SMT queries and first-order functional programming
simplified query engine based on logic programming paradigm
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断,神经...
A terse declarative logic programming language
Automatically interpret and validate nested natural logic arguments base...
Amzi! Prolog: complete system to interpret, build, run and debug Prolog ...
Rust implementation of µKanren, a featherweight relational programming l...
Python library that enables using prolog syntax and logic programming in...
A curated paper list on neural symbolic and probabilistic logic.
A Kotlin Multi-Platform ecosystem for symbolic AI
Python wrapper around several Prolog engines. Hoping to make symbolic AI...
The Hy Transformer
RTEC is an Event Calculus implementation optimised for stream reasoning
A continuation-based backtracking logic programming monad
optimize your home bar with ✨logic programming✨