#Logic-programming
Showing 16 of 16 repositories tagged #logic-programming, ranked by stars
Logic Language for LLMs π±ππ Build Neuro-Symbolic AI for Learning and Reasoning
The only reasonable scripting engine for Go.
π Web-based, reactive Datalog notebooks for data analysis and visualization
Logic programming in Rust
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
Datalog compiler embedded in Rust as a procedural macro
Rust bindings for the Z3 solver.
β¨β¨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
A fast SAT solver
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. ε ζζ¨ζοΌη₯η»ι»θΎοΌεΌΊδΊΊε·₯ζΊθ½ι»θΎζ¨ηεζ²Ώι’εγ
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
cplint is a suite of programs for reasoning with probabilistic logic programs
Trealla Prolog embedded in Go using WASM
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
This course is designed to get a good grip on python programming, logic building, solving algorithm-based questions, data structures, understanding of data analytics, working with pandas, professional practices, and API building.
Logic programming, for Rust, from inside Rust.