Statistics for topic prolog
RepositoryStats tracks 595,856 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.
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.
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
Readings on computational logic, interactive theorem proving and functional programming.
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Current [2024·12] 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.
A list of resources that cross the disciplines of Computer Science and Philosophy
