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

• UpdatedJul 5, 2025
• Jupyter Notebook

The Power of Prolog: Introduction to modern Prolog

• UpdatedJul 11, 2025
• HTML

SWI-Prolog Main development repository

• UpdatedJul 18, 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.

• UpdatedJun 17, 2025
• C++

Tools for transparent data transformation

• UpdatedSep 8, 2023
• Clojure

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

• UpdatedJul 14, 2025
• C++

High performance, concurrent functional programming abstractions

• UpdatedJul 18, 2025
• Haskell

🦉 A grounder and solver for logic programs.

• UpdatedJul 18, 2025
• C++

The only reasonable scripting engine for Go.

• UpdatedJul 5, 2025
• Go

A declarative programming framework

• UpdatedDec 6, 2022
• Clojure

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

• UpdatedMay 9, 2025
• TypeScript

📝 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

Datalog compiler embedded in Rust as a procedural macro

• UpdatedMar 5, 2024
• Rust

Logic programming in Rust

• UpdatedMay 11, 2025
• Rust

An interpreter for learning and exploring pure λ-calculus

• UpdatedApr 11, 2021
• Haskell

Logtalk - declarative object-oriented logic programming language

• UpdatedJul 16, 2025
• Prolog

Rust bindings for the Z3 solver.

• UpdatedJul 17, 2025
• Rust

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

• UpdatedFeb 8, 2022