AI - Intelligenza Artificiale presso l'Università degli Studi di Parma (6 CFU).
-
Updated
May 31, 2024 - Prolog
AI - Intelligenza Artificiale presso l'Università degli Studi di Parma (6 CFU).
Fully in-browser IDE and rule engine for L4 (a DSL for the law), along with various language binding libraries
This is an implementation of a multiagent system in 2APL, i.e. The Alien Trading Corporation: an interstellar entity specializing in the sourcing, manufacturing, and selling of unique products from an alien planet to Earth-based customers.If this project was helpful for you please leave a star!
Readings on computational logic, interactive theorem proving and functional programming.
Índice de repositorios.
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.
Several laboratory works in Haskell and Prolog.
Logtalk - declarative object-oriented logic programming language
A Kotlin Multi-Platform ecosystem for symbolic AI
AI mini projects
A compact, efficient Prolog interpreter written in plain-old C.
CLP(Set) in miniKanren
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."