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.