Trending repositories for topic prolog
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
A modern Prolog implementation written mostly in Rust.
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.
Python library that enables using prolog syntax and logic programming in python
Python library that enables using prolog syntax and logic programming in python
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
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.
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.
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.
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
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
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
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.
Readings on computational logic, interactive theorem proving and functional programming.
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.
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Python library that enables using prolog syntax and logic programming in python
Logtalk - declarative object-oriented logic programming language
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.
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.
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Logtalk - declarative object-oriented logic programming language
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Online, interactive edition of the "Simply Logical" Prolog textbook
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
My public programs and models - mostly combinatorial problems and puzzles
Current [2024·12] source repository for the Logoi 1) natural programming language, 2) minimalist tutorial & 3) hyperextensible/mouseless text editor.
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
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Readings on computational logic, interactive theorem proving and functional programming.
Python library that enables using prolog syntax and logic programming in python
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
A modern Prolog implementation written mostly in Rust.
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
RTEC is an Event Calculus implementation optimised for stream reasoning
