Trending repositories for topic prolog
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.
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.
A compact, efficient Prolog interpreter written in plain-old C.
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.
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.
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 list of resources that cross the disciplines of Computer Science and Philosophy
Python library that enables using prolog syntax and logic programming in python
Free and open source A.I. system based on Python, TensorFlow and Prolog.
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.
Logtalk - declarative object-oriented logic programming language
Python library that enables using prolog syntax and logic programming in python
A modern Prolog implementation written mostly in Rust.
Free and open source A.I. system based on Python, TensorFlow and Prolog.
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.
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Logtalk - declarative object-oriented logic programming language
A compact, efficient Prolog interpreter written in plain-old C.
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy query...
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Online, interactive edition of the "Simply Logical" Prolog textbook
My public programs and models - mostly combinatorial problems and puzzles
Python library that enables using prolog syntax and logic programming in python
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
Online, interactive edition of the "Simply Logical" Prolog textbook
A list of resources that cross the disciplines of Computer Science and Philosophy
Python library that enables using prolog syntax and logic programming in python
Readings on computational logic, interactive theorem proving and functional programming.
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.
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
A modern Prolog implementation written mostly in Rust.
Logtalk - declarative object-oriented logic programming language
RTEC is an Event Calculus implementation optimised for stream reasoning
GNU-Make-like utility for managing builds and complex workflows
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...
