Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Introduction to modern Prolog

SWI-Prolog Main development repository

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

High performance, concurrent functional programming abstractions

The OpenCog (hyper-)graph database and graph rewriting system

A declarative programming framework

The only reasonable scripting engine for Go.

🤔 A grounder and solver for logic programs.

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

An open source Prolog interpreter in JavaScript

Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍

PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.

Datalog compiler embedded in Rust as a procedural macro

An interpreter for learning and exploring pure λ-calculus

Logtalk - declarative object-oriented logic programming language

Logic programming in Rust

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

Shen language kernel sources for porters