chore(website): add diagrams to detailed design

Author: kelvin-olaiya

docs/docs/documentazione/detailed_design.md

@@ -9,6 +9,8 @@ Di seguito verrà riportato il design dettagliato della libreria.
 
 ## Term
 
+![](/img/diagrams/Term.png)
+
 Il trait Term rappresenta il concetto di termine in Prolog. Costituisce l'entità fondamentale dalla quale ereditano tutti
 gli altri costrutti del linguaggio prolog.
 
@@ -17,6 +19,8 @@ determina se si tratta o meno di un termine base.
 
 ## Constant
 
+![](/img/diagrams/constant.png)
+
 Una costante è un termine che racchiude un valore che può essere alfanumerico o numerico.
 Le costanti alfanumeriche sono atomi rappresentati dal trai Atom, mentre le costanti numeriche sono 
 rappresentate dal trait Numeric. 
@@ -25,10 +29,14 @@ Un atomo è un caso particolare di termine composto.
 
 ## Variabili
 
+![](/img/diagrams/Variable.png)
+
 Una variabile ha un nome particolare oppure è anonima (il suo nome è `_`).
 
 ## Struct
 
+![](/img/diagrams/Struct.png)
+
 I termini composti, detti anche strutture, sono rappresentati dal trait Struct. Ogni termine è caratterizzato da un funtore, ossia un nome di 
 predicato, e dai sui argomenti, che sono a loro volta dei termini. Il numero di argomenti di cui è costituito un termine 
 composto determina l'arità del termine composto.
@@ -51,6 +59,8 @@ considerato una regola il cui corpo è il l'atomo `true`.
 
 ### RecursiveStruct
 
+![](/img/diagrams/RecursiveStructs.png)
+
 Alcuni termini composti hanno una struttura ricorsiva. Sono strutture i cui argomenti includono in maniera ricorsiva 
 strutture con lo stesso predicato. 
 Da una struttura è sempre possibile ottenere la lista lineare degli argomenti.
@@ -64,12 +74,16 @@ La maggior parte delle strutture ricorsive sono binarie (BinaryRecursiveStruct).
 
 ## Theory
 
+![](/img/diagrams/Theory.png)
+
 Una teoria è rappresentata dal trait Theory. Una teoria è una lista di clausole.
 
 ## Modello del dominio riconciliato
 
 ## PrologProgram
 
+![](/img/diagrams/PrologProgram.png)
+
 Un programma prolog (PrologProgram) comprende:
 
 * Una teoria dinamica
@@ -78,6 +92,8 @@ Un programma prolog (PrologProgram) comprende:
 
 ## Solver
 
+![](/img/diagrams/Solver.png)
+
 Un Solver risolve un goal o un programma prolog e restituisce le sue soluzioni. 
 Un solver può:
 
@@ -86,6 +102,8 @@ Un solver può:
 
 ### Solution
 
+![](/img/diagrams/Solution.png)
+
 Una soluzione di un programma prolog può:
 
 * Essere una soluzione positiva (Yes) (il goal è una conseguenza logica della teoria).
@@ -94,11 +112,15 @@ Una soluzione di un programma prolog può:
 
 ### Substitution
 
+![](/img/diagrams/Substitution.png)
+
 In caso di soluzione positiva è possibile che il solver fornisca una sostituzione. Una sostituzione 
 mappa variabili a termini.
 
 ## PrologDSL
 
+![](/img/diagrams/PrologDSL.png)
+
 Il trait PrologDSL contiene i metodi e i meccanismi per poter esprimere i concetti appartenenti al mondo Prolog.
 Include infatti dei metodi per costruire fatti, regole, atomi e variabili ma anche liste, congiunzioni e disgiunzioni
 di goal.
@@ -112,3 +134,6 @@ termine prolog.
 
 TermVisitor è il trait che, se implementato da un termine o da un oggetto convertibile, permette di visitare l'albero
 della struttura del termine.
+
+
+![](/img/diagrams/TermConverterAndVisitor.png)