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.
Tools for transparent data transformation
The OpenCog (hyper-)graph database and graph rewriting system
High performance, concurrent functional programming abstractions
🤔 A grounder and solver for logic programs.
The only reasonable scripting engine for Go.
A declarative programming framework
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
An open source Prolog interpreter in JavaScript
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
Datalog compiler embedded in Rust as a procedural macro
Logic programming in Rust
An interpreter for learning and exploring pure λ-calculus
Logtalk - declarative object-oriented logic programming language
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
Rust bindings for the Z3 solver.
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."
Looking for the latest TMZ celebrity news? You've come to the right place. From shocking Hollywood scandals to exclusive videos, TMZ delivers it all in real time.
Whether it’s a red carpet slip-up, a viral paparazzi moment, or a legal drama involving your favorite stars, TMZ news is always first to break the story. Stay in the loop with daily updates, insider tips, and jaw-dropping photos.
TMZ Live brings you daily celebrity news and interviews straight from the TMZ newsroom. Don’t miss a beat—watch now and see what’s trending in Hollywood.