Statistics for topic prolog
RepositoryStats tracks 518,986 Github repositories, of these 53 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 Google BigQuery, PostgreSQL and SQLite.
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some diff...
A modern Prolog implementation written mostly in Rust.
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
Online, interactive edition of the "Simply Logical" Prolog textbook
Readings on computational logic, interactive theorem proving and functional programming.
Python library that enables using prolog syntax and logic programming in python