Statistics for topic prolog
RepositoryStats tracks 609,028 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.
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
A compact, efficient Prolog interpreter written in plain-old C.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
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 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.
A compact, efficient Prolog interpreter written in plain-old C.
Online, interactive edition of the "Simply Logical" Prolog textbook
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.