Trending repositories for topic prolog
Logtalk - declarative object-oriented logic programming language
Logtalk - declarative object-oriented logic programming language
A modern Prolog implementation written mostly in Rust.
My public programs and models - mostly combinatorial problems and puzzles
Logtalk - declarative object-oriented logic programming language
Free and open source A.I. system based on Python, TensorFlow and Prolog.
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.
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.
Free and open source A.I. system based on Python, TensorFlow and Prolog.
Online, interactive edition of the "Simply Logical" Prolog textbook
My public programs and models - mostly combinatorial problems and puzzles
Logtalk - declarative object-oriented logic programming language
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
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.
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
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.
Logtalk - declarative object-oriented logic programming language
Online, interactive edition of the "Simply Logical" Prolog textbook
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
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...
My public programs and models - mostly combinatorial problems and puzzles
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...
Online, interactive edition of the "Simply Logical" Prolog textbook
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.
Free and open source A.I. system based on Python, TensorFlow and Prolog.
Logtalk - declarative object-oriented logic programming language
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
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 public programs and models - mostly combinatorial problems and puzzles
Current [2025·01] source repository for the Logoi 1) natural programming language, 2) minimalist tutorial & 3) hyperextensible/mouseless text editor.
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.
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
A compact, efficient Prolog interpreter written in plain-old C.
Logtalk - declarative object-oriented logic programming language
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
Current [2025·01] source repository for the Logoi 1) natural programming language, 2) minimalist tutorial & 3) hyperextensible/mouseless text editor.
My public programs and models - mostly combinatorial problems and puzzles
Online, interactive edition of the "Simply Logical" Prolog textbook
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.
A list of resources that cross the disciplines of Computer Science and Philosophy
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
Readings on computational logic, interactive theorem proving and functional programming.
A modern Prolog implementation written mostly in Rust.
cplint is a suite of programs for reasoning with probabilistic logic programs
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.
Logtalk - declarative object-oriented logic programming language
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...