La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente