Statistics for topic prolog
RepositoryStats tracks 641,966 Github repositories, of these 54 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)
A compact, efficient Prolog interpreter written in plain-old C.
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
GNU-Make-like utility for managing builds and complex workflows
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
A compact, efficient Prolog interpreter written in plain-old C.
GNU-Make-like utility for managing builds and complex workflows
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
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.
A list of resources that cross the disciplines of Computer Science and Philosophy
Online, interactive edition of the "Simply Logical" Prolog textbook
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.
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.