Statistics for topic prolog
RepositoryStats tracks 584,796 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.
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.
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.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
A list of resources that cross the disciplines of Computer Science and Philosophy
Current [24·11] 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 list of resources that cross the disciplines of Computer Science and Philosophy
A compact, efficient Prolog interpreter written in plain-old C.
