Logtalk - declarative object-oriented logic programming language
-
Updated
Oct 14, 2024 - Prolog
Logtalk - declarative object-oriented logic programming language
ELC117 - Paradigmas de Programação - UFSM - 2024b
Fully in-browser IDE and rule engine for L4 (a DSL for business rules), along with various language binding libraries
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.
Full development environment (Emacs-based)
Documentation Generator for Prolog
A compact, efficient Prolog interpreter written in plain-old C.
Ciao Prolog for Javascript (w/ WebAssembly)
The Ciao Preprocessor
Automate building and maintaining custom operating systems using declarative reasoning.
A modern Prolog implementation written mostly in Rust.
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 querying with Prolog and also a Pythonic interface.
Readings on computational logic, interactive theorem proving and functional programming.
Índice de repositorios.
Add a description, image, and links to the prolog topic page so that developers can more easily learn about it.
To associate your repository with the prolog topic, visit your repo's landing page and select "manage topics."