logic-programming 开源项目推荐（1,848 个）

EvgSkv /logica

Logica是一种可编译为SQL的逻辑编程语言。它在DuckDB、Google BigQuery、PostgreSQL和SQLite上运行。

triska /the-power-of-prolog

Prolog 的力量：现代 Prolog 入门

SWI-Prolog /swipl-devel

SWI-Prolog Main development repository

souffle-lang /souffle

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.

opencog /atomspace

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

noprompt /meander

Tools for transparent data transformation

composewell /streamly

Haskell 中的高性能、流式和并发函数式编程

potassco /clingo

🦉 A grounder and solver for logic programs.

NucleoidAI /Nucleoid

Synthesized Logic Language for World Models 🌱🐋🌍

ichiban /prolog

The only reasonable scripting engine for Go.

CoNarrative /precept

A declarative programming framework

tau-prolog /tau-prolog

An open source Prolog interpreter in JavaScript

ekzhang /percival

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

s-arash /ascent

Logic programming in Rust

yuce /pyswip

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

prove-rs /z3.rs

Rust bindings for the Z3 solver.

ekzhang /crepe

Datalog compiler embedded in Rust as a procedural macro

LogtalkDotOrg /logtalk3

Logtalk - declarative object-oriented logic programming language

slovnicki /pLam

An interpreter for learning and exploring pure λ-calculus

alexanyernas /Ejercicios-Practicos

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