abstract
Il Logic Programming è un paradigma di programmazione altamente basato sulla logica formale. Un programma di questo tipo è composto da un insieme di fatti e regole che rappresentano implicazioni logiche del dominio di un problema. Nel caso particolare di Prolog è stato creato 2p-kt[, un ecosistema Kotlin-based costituito da vari moduli interdipendenti volto all’integrazione multipiattaforma della Symbolic Artificial Intelligence e che punta a arricchire il paradigma logico, ad esempio con meccanismi di concorrenza e gestione di stream di dati. Il progetto consisterà nell’estendere questo framework, sviluppando un Server Web che esponga le funzionalità per osservare ed usare un qualsiasi Solver Logico da remoto.
outcomes