Coprocessori in Architetture di Sistemi per la Programmazione Logica