Ultimamente le applicazioni relative al paradigma dell'Internet of Things richiedono sempre di più una forma di conoscenza e comprensione dell'ambiente in cui sono immerse, in poche parole è necessario che gli oggetti dell'IoT diventino intelligenti.
L'oggetto di questa tesi è mostrare come il paradigma della programmazione logica si possa coniugare con quello dell'Internet of Things tramite un caso di studio per un frigorifero intelligente, in grado di conoscere i suoi contenuti e di ragionare su di essi, sottolineando i vantaggi dell'approccio logico e le eventuali modifiche agli standard dell'IoT visti fino ad ora.
keywords
Programmazione Logica, IoT, IoIT, Prolog, Sistemi Distribuiti
