Theses

Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (22/07/2020) — Ilaria Crivellari

Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt (22/07/2020) — Andrea Dipietro

Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (22/07/2020) — Riccardo Varotto