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

• UpdatedDec 14, 2025
• Jupyter Notebook

The Power of Prolog: Introduction to modern Prolog

• UpdatedSep 30, 2025
• HTML

SWI-Prolog Main development repository

• UpdatedDec 17, 2025
• C

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.

• UpdatedDec 10, 2025
• C++

Tools for transparent data transformation

• UpdatedSep 8, 2023
• Clojure

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

• UpdatedDec 17, 2025
• C++

High performance, concurrent functional programming abstractions

• UpdatedDec 6, 2025
• Haskell

🦉 A grounder and solver for logic programs.

• UpdatedDec 15, 2025
• C++

Neuro-Symbolic AI with Pythonic Logic Language 🌱🐋🌍

• UpdatedNov 24, 2025
• Python

The only reasonable scripting engine for Go.

• UpdatedOct 12, 2025
• Go

A declarative programming framework

• UpdatedDec 6, 2022
• Clojure

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

• UpdatedFeb 16, 2023
• Rust

An open source Prolog interpreter in JavaScript

• UpdatedJan 30, 2023
• JavaScript

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

• UpdatedJun 23, 2025
• Python

Logic programming in Rust

• UpdatedOct 25, 2025
• Rust

Datalog compiler embedded in Rust as a procedural macro

• UpdatedDec 14, 2025
• Rust

Logtalk - declarative object-oriented logic programming language

• UpdatedDec 17, 2025
• Prolog

An interpreter for learning and exploring pure λ-calculus

• UpdatedApr 11, 2021
• Haskell

Rust bindings for the Z3 solver.

• UpdatedDec 10, 2025
• Rust

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

• UpdatedFeb 8, 2022