Statistics for topic prolog
RepositoryStats tracks 609,853 Github repositories, of these 55 are tagged with the prolog topic. The most common primary language for repositories using this topic is Prolog (16).
Stargazers over time for topic prolog
Most starred repositories for topic prolog (view more)
Trending repositories for topic prolog (view more)
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
A modern Prolog implementation written mostly in Rust.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
A compact, efficient Prolog interpreter written in plain-old C.
cplint is a suite of programs for reasoning with probabilistic logic programs
Current [2025·01] source repository for the Logoi 1) natural programming language, 2) minimalist tutorial & 3) hyperextensible/mouseless text editor.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
A modern Prolog implementation written mostly in Rust.
Online, interactive edition of the "Simply Logical" Prolog textbook
A compact, efficient Prolog interpreter written in plain-old C.
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.