mise en page prolog

This commit is contained in:
Mylloon 2021-03-16 01:27:08 +01:00
parent 661deb17a4
commit aa9e4df2c4
3 changed files with 36 additions and 5 deletions

Binary file not shown.

Binary file not shown.

View file

@ -5,15 +5,46 @@
\usepackage[T1]{fontenc} % encodage T1 police \usepackage[T1]{fontenc} % encodage T1 police
\usepackage[hidelinks]{hyperref} % lien dans table des matières \usepackage[hidelinks]{hyperref} % lien dans table des matières
\usepackage{listings} % intégration code \usepackage{listings} % intégration code
\usepackage[dvipsnames]{xcolor} % couleur
\definecolor{defaultPredicat}{RGB}{121, 94, 38}
\definecolor{definitionChar}{RGB}{175, 0, 219}
\definecolor{argsAndPredicat}{RGB}{0, 96, 181}
\definecolor{string}{RGB}{163, 99, 21}
\definecolor{comment}{RGB}{0, 128, 0}
\lstset{ \lstset{
columns=fullflexible, % encadré
frame=single, % encadré frame=single, % encadré
breaklines=true, % lignes dans encadré breaklines=true, % lignes dans le cadre
numbers=left, % chiffres columns=fullflexible, % contenu bien présenté dans le cadre
% chiffres
numbers=left,
numberstyle=\tiny,
% affichage
basicstyle=\ttfamily,
keywordstyle=\color{defaultPredicat},
identifierstyle=\color{argsAndPredicat},
stringstyle=\color{string},
commentstyle=\color{comment},
literate=
{:-}{{\textcolor{definitionChar}{:- }}}1
% utf-8 fix source: https://en.wikibooks.org/wiki/LaTeX/Source_Code_Listings
{á}{{\'a}}1 {é}{{\'e}}1 {í}{{\'i}}1 {ó}{{\'o}}1 {ú}{{\'u}}1
{Á}{{\'A}}1 {É}{{\'E}}1 {Í}{{\'I}}1 {Ó}{{\'O}}1 {Ú}{{\'U}}1
{à}{{\`a}}1 {è}{{\`e}}1 {ì}{{\`i}}1 {ò}{{\`o}}1 {ù}{{\`u}}1
{À}{{\`A}}1 {È}{{\'E}}1 {Ì}{{\`I}}1 {Ò}{{\`O}}1 {Ù}{{\`U}}1
{ä}{{\"a}}1 {ë}{{\"e}}1 {ï}{{\"i}}1 {ö}{{\"o}}1 {ü}{{\"u}}1
{Ä}{{\"A}}1 {Ë}{{\"E}}1 {Ï}{{\"I}}1 {Ö}{{\"O}}1 {Ü}{{\"U}}1
{â}{{\^a}}1 {ê}{{\^e}}1 {î}{{\^i}}1 {ô}{{\^o}}1 {û}{{\^u}}1
{Â}{{\^A}}1 {Ê}{{\^E}}1 {Î}{{\^I}}1 {Ô}{{\^O}}1 {Û}{{\^U}}1
{ã}{{\~a}}1 {}{{\~e}}1 {ĩ}{{\~i}}1 {õ}{{\~o}}1 {ũ}{{\~u}}1
{Ã}{{\~A}}1 {}{{\~E}}1 {Ĩ}{{\~I}}1 {Õ}{{\~O}}1 {Ũ}{{\~U}}1
{œ}{{\oe}}1 {Œ}{{\OE}}1 {æ}{{\ae}}1 {Æ}{{\AE}}1 {ß}{{\ss}}1
{ű}{{\H{u}}}1 {Ű}{{\H{U}}}1 {ő}{{\H{o}}}1 {Ő}{{\H{O}}}1
{ç}{{\c c}}1 {Ç}{{\c C}}1 {ø}{{\o}}1 {å}{{\r a}}1 {Å}{{\r A}}1
{}{{\euro}}1 {£}{{\pounds}}1 {«}{{\guillemotleft}}1
{»}{{\guillemotright}}1 {ñ}{{\~n}}1 {Ñ}{{\~N}}1 {¿}{{?`}}1 {¡}{{!`}}1,
showstringspaces=false, % espaces normaux showstringspaces=false, % espaces normaux
language=Prolog, % language language=Prolog % language
literate={á}{{\'a}}1 {ã}{{\~a}}1 {é}{{\'e}}1 % utf-8 fix
} }
\author{Kévin Martins Da Veiga [20009472] et Anri Kennel [20010664]} \author{Kévin Martins Da Veiga [20009472] et Anri Kennel [20010664]}
\title{Projet Heyawake en Prolog} \title{Projet Heyawake en Prolog}