Skip to content

Instantly share code, notes, and snippets.

@R0mb0
Last active July 8, 2022 15:20
Show Gist options
  • Save R0mb0/9019007dcff0a3d0003916746bee4afc to your computer and use it in GitHub Desktop.
Save R0mb0/9019007dcff0a3d0003916746bee4afc to your computer and use it in GitHub Desktop.
Urbino's University - Applied computer science - Functional and Logic Programming - Report Template in LaTeX.
\documentclass{article}
\usepackage[italian]{babel}
\usepackage[utf8]{inputenc}
\usepackage{listingsutf8}
\usepackage[margin=75pt]{geometry}
\usepackage{amsmath}
\usepackage{graphicx}
\usepackage{spverbatim}
\usepackage{hyperref}
\usepackage{listings}
\usepackage{color}
\definecolor{dkgreen}{rgb}{0,0.6,0}
\definecolor{gray}{rgb}{0.5,0.5,0.5}
\definecolor{mauve}{rgb}{0.58,0,0.82}
\lstset{frame=tb,
language=Haskell,
aboveskip=3mm,
belowskip=3mm,
showstringspaces=false,
columns=flexible,
basicstyle={\small\ttfamily},
numbers=none,
numberstyle=\tiny\color{gray},
keywordstyle=\color{blue},
commentstyle=\color{dkgreen},
stringstyle=\color{mauve},
breaklines=true,
breakatwhitespace=true,
tabsize=3
}
\title{\textbf{Relazione sul Progetto d'Esame}}
\author{Nome}
\date{\small Università degli Studi di Urbino Carlo Bo\\
Insegnamento di Programmazione Logica e Funzionale}
\begin{document}
\maketitle
\newpage
\section{Specifica del Problema}
Specifica del problema.
\newpage
\section{Analisi del Problema}
\subsection{Dati di Ingresso del Problema}
Dati di ingresso del problema.
\subsection{Dati di Uscita del Problema}
Dati di uscita del problema.
\subsection{Relazioni Intercorrenti tra i Dati del Problema}
Relazioni intercorrenti tra i dati del problema:
\begin{itemize}
\item Primo elemento della lista.
\item Secondo elemento della lista.
\item Terzo elemento della lista, etc...
\end{itemize}
\newpage
\section{Progettazione dell'Algoritmo}
\subsection{Scelte di Progetto}
Scelte di progetto.
\subsection{Passi dell'Algoritmo}
\begin{enumerate}
\item Primo elemento della enumerazione.
\item Secondo elemento della enumerazione.
\item Terzo rilevamento della enumerazione, etc...
\end{enumerate}
\newpage
\section{Implementazione dell'Algoritmo}
\raggedright
\lstset{inputencoding=utf8/latin1}
\underline{File sorgente \textbf{NomeFile.hs:}}
\lstinputlisting[language=Haskell]{inserire_il_percorso_del_file_da_includere.hs}
\newpage
\raggedright
\lstset{inputencoding=utf8/latin1}
\underline{File sorgente \textbf{NomeFile.pl:}}
\lstinputlisting[language=Prolog]{inserire_il_percorso_del_file_da_includere.pl}
\newpage
\section{Testing del Programma}
\subsection*{Test Haskell 1}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Haskell 2}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Haskell 3}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Haskell 4}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Haskell 5}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Haskell 6}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Haskell 7}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Haskell 8}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Haskell 9}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Haskell 10}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\newpage
\subsection*{Test Prolog 1}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Prolog 2}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Prolog 3}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Prolog 4}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Prolog 5}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Prolog 6}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Prolog 7}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Prolog 8}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Prolog 9}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\subsection*{Test Prolog 10}
\lstset{inputencoding=utf8/latin1}
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt}
\end{document}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment