Trending repositories for topic prolog
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.
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.
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
A list of resources that cross the disciplines of Computer Science and Philosophy
Logtalk - declarative object-oriented logic programming language
Online, interactive edition of the "Simply Logical" Prolog textbook
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
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.
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Tableau-based Theorem Prover for Natural Logic and Language
Online, interactive edition of the "Simply Logical" Prolog textbook
Logtalk - declarative object-oriented logic programming language
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.
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 [24·11] source repository for the Logoi 1) natural programming language, 2) minimalist tutorial & 3) hyperextensible/mouseless text editor.
Python library that enables using prolog syntax and logic programming in python
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.
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.
A modern Prolog implementation written mostly in Rust.
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
RTEC is an Event Calculus implementation optimised for stream reasoning
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...
Logtalk - declarative object-oriented logic programming language
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.