Di seguito è riportato il codice dei moduli che costituiscono il progetto, scritti nel linguaggio per la programmazione logica Gödel.
