📄️ Analisi
Prolog è un linguaggio di programmazione basato sul paradigma di programmazione logica.
📄️ Requisiti
Requisiti di business
📄️ Design architetturale
Lo scopo della libreria è quello di risolvere programmi prolog composti da teorie e goal da soddisfare.
📄️ Design dettagliato
Di seguito verrà riportato il design dettagliato della libreria.
📄️ Implementazione
Di seguito verranno riportate alcune rilevanti scelte implementative.