Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
The Power of Prolog: Introduction to modern Prolog
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.
The OpenCog (hyper-)graph database and graph rewriting system
Tools for transparent data transformation
High performance, streaming and concurrent functional programming in Haskell
馃 A grounder and solver for logic programs.
Logic Language for LLMs 馃尡馃悑馃實 Build Neuro-Symbolic AI for Learning and Reasoning
The only reasonable scripting engine for Go.
A declarative programming framework
An open source Prolog interpreter in JavaScript
馃摑 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.
Logtalk - declarative object-oriented logic programming language
An interpreter for learning and exploring pure 位-calculus
Mejora tu l贸gica de programaci贸n y aprende mucho m谩s resolviendo estos ejercicios.
Add a description, image, and links to the logic-programming topic page so that developers can more easily learn about it.
To associate your repository with the logic-programming topic, visit your repo's landing page and select "manage topics."