diff --git a/rendu/rendu.pdf b/rendu/rendu.pdf index b19bfab..c4f5fe0 100644 Binary files a/rendu/rendu.pdf and b/rendu/rendu.pdf differ diff --git a/rendu/rendu.synctex.gz b/rendu/rendu.synctex.gz index 3c4ace8..51e454d 100644 Binary files a/rendu/rendu.synctex.gz and b/rendu/rendu.synctex.gz differ diff --git a/rendu/rendu.tex b/rendu/rendu.tex index f5c7aae..bed9584 100644 --- a/rendu/rendu.tex +++ b/rendu/rendu.tex @@ -5,15 +5,46 @@ \usepackage[T1]{fontenc} % encodage T1 police \usepackage[hidelinks]{hyperref} % lien dans table des matières \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{ - columns=fullflexible, % encadré frame=single, % encadré - breaklines=true, % lignes dans encadré - numbers=left, % chiffres + breaklines=true, % lignes dans le cadre + 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 - language=Prolog, % language - literate={á}{{\'a}}1 {ã}{{\~a}}1 {é}{{\'e}}1 % utf-8 fix + language=Prolog % language } \author{Kévin Martins Da Veiga [20009472] et Anri Kennel [20010664]} \title{Projet Heyawake en Prolog}