diff --git a/rendu/rendu.aux b/rendu/rendu.aux deleted file mode 100644 index daf46ad..0000000 --- a/rendu/rendu.aux +++ /dev/null @@ -1,36 +0,0 @@ -\relax -\providecommand\hyper@newdestlabel[2]{} -\@nameuse{bbl@beforestart} -\catcode `:\active -\catcode `;\active -\catcode `!\active -\catcode `?\active -\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} -\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined -\global\let\oldcontentsline\contentsline -\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global\let\oldnewlabel\newlabel -\gdef\newlabel#1#2{\newlabelxx{#1}#2} -\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline -\let\newlabel\oldnewlabel -\fi} -\fi} -\global\let\hyper@last\relax -\gdef\HyperFirstAtBeginDocument#1{#1} -\providecommand\HyField@AuxAddToFields[1]{} -\providecommand\HyField@AuxAddToCoFields[2]{} -\babel@aux{french}{} -\@writefile{toc}{\contentsline {section}{\numberline {1}Pr\IeC {\'e}sentation du Projet}{2}{section.1}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Introduction et r\IeC {\`e}gles du jeu}{2}{subsection.1.1}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}R\IeC {\'e}alisation}{2}{subsection.1.2}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {2}R\IeC {\'e}solution d'une grille avec des aires}{2}{section.2}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}On a essay\IeC {\'e}\dots }{2}{subsection.2.1}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {3}Le programme}{2}{section.3}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}La fonction principal en d\IeC {\'e}tail}{2}{subsection.3.1}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Listing des pr\IeC {\'e}dicats utilis\IeC {\'e}s}{2}{subsection.3.2}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}On a pas r\IeC {\'e}ussi\dots }{2}{subsection.3.3}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {4}Annexe : les codes}{3}{section.4}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Programme qui ne fonctionne pas}{3}{subsection.4.1}\protected@file@percent } -\@writefile{lol}{\contentsline {lstlisting}{../resolveur.pl}{3}{lstlisting.-1}\protected@file@percent } diff --git a/rendu/rendu.fdb_latexmk b/rendu/rendu.fdb_latexmk deleted file mode 100644 index 9d8e081..0000000 --- a/rendu/rendu.fdb_latexmk +++ /dev/null @@ -1,95 +0,0 @@ -# Fdb version 3 -["pdflatex"] 1615839422 "/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.tex" "/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.pdf" "rendu" 1615839428 - "/etc/texmf/web2c/texmf.cnf" 1615834778 475 c0e671620eb5563b2130f56340a5fde8 "" - "/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/../resolveur.pl" 1615839136 1362 7386916ab91a71fd35c5c245ef526a92 "" - "/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.aux" 1615839428 2374 71c4b414021f578acf990bf3ef03a82d "pdflatex" - "/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.out" 1615839428 768 4f9b3c6e20d2ab3647a2a6584ced3e7e "pdflatex" - "/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.tex" 1615839416 2277 9adb1a23253c72978e7e729c149fe3fe "" - "/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.toc" 1615839428 1049 4258c3bb07c318c1b0c5938287699af0 "pdflatex" - "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecbx1000.tfm" 1136768653 3584 2d666ecf6d466d8b007246bc2f94d9da "" - "/usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecbx1200.tfm" 1136768653 3584 402da0b29eafbad07963b1224b222f18 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecbx1440.tfm" 1136768653 3584 13049b61b922a28b158a38aeff75ee9b "" - "/usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm" 1136768653 3584 adb004a0c8e7c46ee66cad73671f37b4 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecrm1200.tfm" 1136768653 3584 f80ddd985bd00e29e9a6047ebd9d4781 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecrm1440.tfm" 1136768653 3584 3169d30142b88a27d4ab0e3468e963a2 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecrm1728.tfm" 1136768653 3584 3c76ccb63eda935a68ba65ba9da29f1a "" - "/usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecti1000.tfm" 1136768653 3072 3bce340d4c075dffe6d4ec732b4c32fe "" - "/usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/tcti1000.tfm" 1136768653 2048 3777f70f4372b17e2d3fda2b5684af05 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1136768653 1524 4414a8315f39513458b80dfc63bff03a "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1136768653 1512 f21f83efb36853c0b70002322c1ab3ad "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1136768653 1520 eccf95517727cb11801f4f1aee3a21b4 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1136768653 1288 655e228510b4c2a1abe905c368440826 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1136768653 1300 b62933e007d01cfd073f79b963c01526 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1136768653 1292 21c1c5bfeaebccffdb478fd231a0997d "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1136768653 1124 6c73e740cf17375f03eec0ee63599741 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1136768653 1116 933a60c408fc0a863a92debe84b2d294 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1136768653 1120 8b7d695260f3cff42e636090a8002094 "" - "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1248133631 32569 5e5ddc8df908dea60932f3c484a54c0d "" - "/usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty" 1575674566 24708 5584a51a7101caf7e6bbf1fc27d8f7b1 "" - "/usr/share/texlive/texmf-dist/tex/generic/babel-french/french.ldf" 1580422756 68260 b72777b7b16768ca73c25c12cc2beb01 "" - "/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def" 1581719732 87344 ec128793fb5196bbcc1741e5366ddac1 "" - "/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty" 1581719732 18844 909add1631725af40d27125357ea816e "" - "/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def" 1581719732 15529 e761dc130df77f0ce9717a25d1b52a95 "" - "/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def" 1580769195 5220 42a6518b499d20676051f269c61f4d9a "" - "/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty" 1576625341 40635 c40361e206be584d448876bba8a64a3b "" - "/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty" 1576016050 33961 6b5c75130e435b2bfdb9f480a09a39f9 "" - "/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty" 1576625273 7734 b98cbb34c81f667027c1e3ebdbfce34b "" - "/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty" 1576625223 8371 9d55b8bd010bc717624922fb3477d92e "" - "/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty" 1573336935 6902 30fdaf7dc5636b8e3afa306210c45cae "" - "/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty" 1575499628 8356 7bbb2c2373aa810be568c29e333da8ed "" - "/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty" 1576625065 31769 002a487f55041f8e805cfbf6385ffd97 "" - "/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty" 1576878844 5412 d5a2436094cd7be85769db90f29250a6 "" - "/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty" 1576624944 13807 952b0226d4efca026f0e19dd266dcc22 "" - "/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty" 1576624883 18552 1e1cc7b75da0dfaacce7cdcb27d306bf "" - "/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty" 1576015897 19007 15924f7228aca6c6d184b115f4baa231 "" - "/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty" 1576624663 7008 f92eaa0a3872ed622bbf538217cd2ab7 "" - "/usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty" 1576191570 19336 ce7ae9438967282886b3b036cfad1e4d "" - "/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty" 1576625391 3935 57aa3c3e203a5c2effb4d2bd2efbc323 "" - "/usr/share/texlive/texmf-dist/tex/latex/base/article.cls" 1580683321 20023 e427dd9e17e239bf926ef3aab67fe35e "" - "/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty" 1581632200 4947 0c2888dd88121ae675fc6e82213623ba "" - "/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty" 1580683321 5050 8933a39ad74377accd18991c5eb90c58 "" - "/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo" 1580683321 8446 9874cccac5fee462272c582807dbbf56 "" - "/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty" 1137109962 1360 df2086bf924b14b72d6121fe9502fcdb "" - "/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty" 1580683321 2590 e3b24ff953e5b58d924f163d25380312 "" - "/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty" 1580250785 17914 4c28a13fc3d975e6e81c9bea1d697276 "" - "/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def" 1579642962 50630 3d9728faf8630190cf601ce2cbe470d9 "" - "/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty" 1579642962 238752 60dd338d71b6a4ab2192131f73dc908b "" - "/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty" 1579642962 13244 0070bcab7b5a88187847128d22faf4d8 "" - "/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def" 1579642962 14134 32b36577d311ddb6522413c7581ee968 "" - "/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty" 1575152344 22520 c4c2dab203104295e1e618be7e5c0f5b "" - "/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def" 1580854751 25404 9d60f463a00d154207ec0048dee27cf0 "" - "/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty" 1575499565 5766 13a9e8766c47f30327caf893ece86ac8 "" - "/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg" 1568236792 1830 bbaba8afaf42cc048ec4d4ff73467521 "" - "/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty" 1568236792 80511 830f3f1d3ab7448dd84233e9c2f6462c "" - "/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty" 1568236792 204271 6a0ce6b8dafb6c4a13b9036ab1717c77 "" - "/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty" 1568236792 93649 afc3569ae4eb53b014d3031d0f3fa4bf "" - "/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty" 1568236792 77022 32914f01b528131c47be2a1040d3856d "" - "/usr/share/texlive/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty" 1574631863 19963 36fd8e818f9f0f32e2db8413d4970122 "" - "/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty" 1576624809 9878 9e94e8fa600d95f9c7731bb21dfb67a4 "" - "/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty" 1575674187 9715 b051d5b493d9fe5f4bc251462d039e5f "" - "/usr/share/texlive/texmf-dist/tex/latex/ucs/data/uni-0.def" 1368571634 7784 086a50b784a20762a031889b73f97126 "" - "/usr/share/texlive/texmf-dist/tex/latex/ucs/data/uni-global.def" 1368571634 1375 8a855db83af5d6753ccbbd32e6a8a901 "" - "/usr/share/texlive/texmf-dist/tex/latex/ucs/ucs.sty" 1368571634 27982 5723d81d568db410592a59b85fb3eaae "" - "/usr/share/texlive/texmf-dist/tex/latex/ucs/ucsencs.def" 1368571634 22368 c53c9d0d16c65bef2b157515c9d9f658 "" - "/usr/share/texlive/texmf-dist/tex/latex/ucs/utf8x.def" 1368571634 8036 21f7ac37aafb6cfeddbb196b8bfd6280 "" - "/usr/share/texlive/texmf-dist/tex/latex/url/url.sty" 1388531844 12796 8edb7d69a20b857904dd0ea757c14ec9 "" - "/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1581979058 38841 ce3692aa899bb693b90b87eaa5d4d84e "" - "/usr/share/texmf/fonts/enc/dvips/cm-super/cm-super-t1.enc" 1565080000 2971 def0b6c1f0b107b3b936def894055589 "" - "/usr/share/texmf/fonts/enc/dvips/cm-super/cm-super-ts1.enc" 1565080000 2900 1537cc8184ad1792082cd229ecc269f4 "" - "/usr/share/texmf/fonts/type1/public/cm-super/sfbx1000.pfb" 1565080000 145408 43d44302ca7d82d487f511f83e309505 "" - "/usr/share/texmf/fonts/type1/public/cm-super/sfbx1200.pfb" 1615835910 140176 d4962f948b4cc0adf4d3dde77a128c95 "" - "/usr/share/texmf/fonts/type1/public/cm-super/sfbx1440.pfb" 1615835910 135942 859a90cad7494a1e79c94baf546d7de5 "" - "/usr/share/texmf/fonts/type1/public/cm-super/sfrm1000.pfb" 1565080000 138258 6525c253f16cededa14c7fd0da7f67b2 "" - "/usr/share/texmf/fonts/type1/public/cm-super/sfrm1200.pfb" 1615835910 136101 f533469f523533d38317ab5729d00c8a "" - "/usr/share/texmf/fonts/type1/public/cm-super/sfrm1728.pfb" 1615835910 131438 3aa300b3e40e5c8ba7b4e5c6cebc5dd6 "" - "/usr/share/texmf/fonts/type1/public/cm-super/sfti1000.pfb" 1565080000 186554 e8f0fa8ca05e038f257a06405232745f "" - "/usr/share/texmf/web2c/texmf.cnf" 1581979058 38841 ce3692aa899bb693b90b87eaa5d4d84e "" - "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1615835925 4770781 1ed1abab22da9c3e2cc82e4db562318b "" - "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1615835951 8258721 65c94e46743ac27147b2fa418476ef01 "" - (generated) - "/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.out" - "/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.log" - "/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.pdf" - "/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.aux" - "/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.toc" diff --git a/rendu/rendu.fls b/rendu/rendu.fls deleted file mode 100644 index 3ab5a29..0000000 --- a/rendu/rendu.fls +++ /dev/null @@ -1,150 +0,0 @@ -PWD /mnt/y/Anri/2020-2021/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu -INPUT /etc/texmf/web2c/texmf.cnf -INPUT /usr/share/texmf/web2c/texmf.cnf -INPUT /usr/share/texlive/texmf-dist/web2c/texmf.cnf -INPUT /var/lib/texmf/web2c/pdftex/pdflatex.fmt -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.tex -OUTPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.log -INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls -INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls -INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo -INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo -INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/ucs/utf8x.def -INPUT /usr/share/texlive/texmf-dist/tex/latex/ucs/utf8x.def -INPUT /usr/share/texlive/texmf-dist/tex/latex/ucs/ucs.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/ucs/ucs.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/ucs/data/uni-global.def -INPUT /usr/share/texlive/texmf-dist/tex/latex/ucs/data/uni-global.def -INPUT /usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/babel/switch.def -INPUT /usr/share/texlive/texmf-dist/tex/generic/babel-french/french.ldf -INPUT /usr/share/texlive/texmf-dist/tex/generic/babel-french/french.ldf -INPUT /usr/share/texlive/texmf-dist/tex/generic/babel/babel.def -INPUT /usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def -INPUT /usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty -INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm -INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def -INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def -INPUT /usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/url/url.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/url/url.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def -INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def -INPUT /usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg -INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg -INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def -INPUT /usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.aux -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.aux -OUTPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.aux -INPUT /usr/share/texlive/texmf-dist/tex/latex/ucs/ucsencs.def -INPUT /usr/share/texlive/texmf-dist/tex/latex/ucs/ucsencs.def -INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty -INPUT /usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.out -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.out -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.out -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.out -OUTPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.pdf -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.out -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.out -OUTPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.out -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecrm1728.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecrm1200.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm -INPUT /usr/share/texlive/texmf-dist/tex/latex/ucs/data/uni-0.def -INPUT /usr/share/texlive/texmf-dist/tex/latex/ucs/data/uni-0.def -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecrm1440.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecbx1440.tfm -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.toc -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.toc -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecbx1000.tfm -OUTPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.toc -INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecbx1200.tfm -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/../resolveur.pl -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/../resolveur.pl -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/../resolveur.pl -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/ecti1000.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/tcti1000.tfm -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.aux -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.out -INPUT /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.out -INPUT /usr/share/texmf/fonts/enc/dvips/cm-super/cm-super-ts1.enc -INPUT /usr/share/texmf/fonts/enc/dvips/cm-super/cm-super-t1.enc -INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb -INPUT /usr/share/texmf/fonts/type1/public/cm-super/sfbx1000.pfb -INPUT /usr/share/texmf/fonts/type1/public/cm-super/sfbx1200.pfb -INPUT /usr/share/texmf/fonts/type1/public/cm-super/sfbx1440.pfb -INPUT /usr/share/texmf/fonts/type1/public/cm-super/sfrm1000.pfb -INPUT /usr/share/texmf/fonts/type1/public/cm-super/sfrm1200.pfb -INPUT /usr/share/texmf/fonts/type1/public/cm-super/sfrm1728.pfb -INPUT /usr/share/texmf/fonts/type1/public/cm-super/sfti1000.pfb diff --git a/rendu/rendu.log b/rendu/rendu.log deleted file mode 100644 index b93fab7..0000000 --- a/rendu/rendu.log +++ /dev/null @@ -1,301 +0,0 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Debian) (preloaded format=pdflatex 2021.3.15) 15 MAR 2021 21:17 -entering extended mode - restricted \write18 enabled. - file:line:error style messages enabled. - %&-line parsing enabled. -**/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.tex -(/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.tex -LaTeX2e <2020-02-02> patch level 2 -L3 programming layer <2020-02-14> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls -Document Class: article 2019/12/20 v1.4l Standard LaTeX document class -(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo -File: size10.clo 2019/12/20 v1.4l Standard LaTeX file (size option) -) -\c@part=\count167 -\c@section=\count168 -\c@subsection=\count169 -\c@subsubsection=\count170 -\c@paragraph=\count171 -\c@subparagraph=\count172 -\c@figure=\count173 -\c@table=\count174 -\abovecaptionskip=\skip47 -\belowcaptionskip=\skip48 -\bibindent=\dimen134 -) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty -Package: inputenc 2018/08/11 v1.3c Input encoding file -\inpenc@prehook=\toks14 -\inpenc@posthook=\toks15 - (/usr/share/texlive/texmf-dist/tex/latex/ucs/utf8x.def -File: utf8x.def 2004/10/17 UCS: Input encoding UTF-8 -)) (/usr/share/texlive/texmf-dist/tex/latex/ucs/ucs.sty -Package: ucs 2013/05/11 v2.2 UCS: Unicode input support - (/usr/share/texlive/texmf-dist/tex/latex/ucs/data/uni-global.def -File: uni-global.def 2013/05/13 UCS: Unicode global data -) -\uc@secondtry=\count175 -\uc@combtoks=\toks16 -\uc@combtoksb=\toks17 -\uc@temptokena=\toks18 -) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty -Package: babel 2020/02/14 3.40 The Babel package - (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def -File: switch.def 2020/02/14 3.40 Babel switching mechanism -) (/usr/share/texlive/texmf-dist/tex/generic/babel-french/french.ldf -Language: french 2020/01/30 v3.5g French support from the babel system - (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def -File: babel.def 2020/02/14 3.40 Babel common definitions -\babel@savecnt=\count176 -\U@D=\dimen135 - (/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def) -\bbl@readstream=\read2 -\bbl@dirlevel=\count177 -) -Package babel Info: \l@acadian = using hyphenrules for french -(babel) (\language26) on input line 91. -Package babel Info: \l@canadien = using hyphenrules for french -(babel) (\language26) on input line 92. -\FB@nonchar=\count178 -Package babel Info: Making : an active character on input line 419. -Package babel Info: Making ; an active character on input line 420. -Package babel Info: Making ! an active character on input line 421. -Package babel Info: Making ? an active character on input line 422. -\FBguill@level=\count179 -\FBold@everypar=\toks19 -\FB@Mht=\dimen136 -\mc@charclass=\count180 -\mc@charfam=\count181 -\mc@charslot=\count182 -\std@mcc=\count183 -\dec@mcc=\count184 -\c@FBcaption@count=\count185 -\listindentFB=\dimen137 -\descindentFB=\dimen138 -\labelindentFB=\dimen139 -\labelwidthFB=\dimen140 -\leftmarginFB=\dimen141 -\parindentFFN=\dimen142 -\FBfnindent=\dimen143 -)) (/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 2014/10/28 v1.15 key=value parser (DPC) -\KV@toks@=\toks20 -) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty -Package: fontenc 2020/02/11 v2.0o Standard LaTeX package -) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2020/01/14 v7.00d Hypertext links for LaTeX - (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty -Package: ltxcmds 2019/12/15 v1.24 LaTeX kernel commands for general use (HO) -) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty -Package: iftex 2019/11/07 v1.0c TeX engine tests -) (/usr/share/texlive/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty -Package: pdftexcmds 2019/11/24 v0.31 Utility functions of pdfTeX for LuaTeX (HO) - (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty -Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO) -) -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -Package pdftexcmds Info: \pdfdraftmode found. -) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty -Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO) -) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty -Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO) -) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty -Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO) -) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty -Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO) -) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty -Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO) -) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty -Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO) -) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty -Package: kvoptions 2019/11/29 v3.13 Key value format for package options (HO) -) -\@linkdim=\dimen144 -\Hy@linkcounter=\count186 -\Hy@pagecounter=\count187 - (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2020/01/14 v7.00d Hyperref: PDFDocEncoding definition (HO) -) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty -Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO) -) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty -Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO) -) -\Hy@SavedSpaceFactor=\count188 -\pdfmajorversion=\count189 -Package hyperref Info: Hyper figures OFF on input line 4547. -Package hyperref Info: Link nesting OFF on input line 4552. -Package hyperref Info: Hyper index ON on input line 4555. -Package hyperref Info: Plain pages OFF on input line 4562. -Package hyperref Info: Backreferencing OFF on input line 4567. -Package hyperref Info: Implicit mode ON; LaTeX internals redefined. -Package hyperref Info: Bookmarks ON on input line 4800. -\c@Hy@tempcnt=\count190 - (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty -\Urlmuskip=\muskip16 -Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. -) -LaTeX Info: Redefining \url on input line 5159. -\XeTeXLinkMargin=\dimen145 - (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty -Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO) - (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty -Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO) -)) -\Fld@menulength=\count191 -\Field@Width=\dimen146 -\Fld@charsize=\dimen147 -Package hyperref Info: Hyper figures OFF on input line 6430. -Package hyperref Info: Link nesting OFF on input line 6435. -Package hyperref Info: Hyper index ON on input line 6438. -Package hyperref Info: backreferencing OFF on input line 6445. -Package hyperref Info: Link coloring OFF on input line 6450. -Package hyperref Info: Link coloring with OCG OFF on input line 6455. -Package hyperref Info: PDF/A mode OFF on input line 6460. -LaTeX Info: Redefining \ref on input line 6500. -LaTeX Info: Redefining \pageref on input line 6504. - (/usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty -Package: atbegshi 2019/12/05 v1.19 At begin shipout hook (HO) -) -\Hy@abspage=\count192 -\c@Item=\count193 -\c@Hfootnote=\count194 -) -Package hyperref Info: Driver (autodetected): hpdftex. - (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2020/01/14 v7.00d Hyperref driver for pdfTeX - (/usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty -Package: atveryend 2019-12-11 v1.11 Hooks at the very end of document (HO) -Package atveryend Info: \enddocument detected (standard20110627). -) -\Fld@listcount=\count195 -\c@bookmark@seq@number=\count196 - (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty -Package: rerunfilecheck 2019/12/05 v1.9 Rerun checks for auxiliary files (HO) - (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty -Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO) -) -Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 286. -) -\Hy@SectionHShift=\skip49 -) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count197 -\lst@gtempboxa=\box45 -\lst@token=\toks21 -\lst@length=\count198 -\lst@currlwidth=\dimen148 -\lst@column=\count199 -\lst@pos=\count266 -\lst@lostspace=\dimen149 -\lst@width=\dimen150 -\lst@newlines=\count267 -\lst@lineno=\count268 -\lst@maxwidth=\dimen151 - (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2019/09/10 1.8c (Carsten Heinz) -\c@lstnumber=\count269 -\lst@skipnumbers=\count270 -\lst@framebox=\box46 -) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2019/09/10 1.8c listings configuration -)) -Package: listings 2019/09/10 1.8c (Carsten Heinz) - (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty -File: lstlang1.sty 2019/09/10 1.8c listings language file -) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty -File: lstlang2.sty 2019/09/10 1.8c listings language file -) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def -File: l3backend-pdfmode.def 2020-02-03 L3 backend support: PDF mode -\l__kernel_color_stack_int=\count271 -\l__pdf_internal_box=\box47 -) (/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.aux) -\openout1 = `rendu.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 22. -LaTeX Font Info: ... okay on input line 22. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 22. -LaTeX Font Info: ... okay on input line 22. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 22. -LaTeX Font Info: ... okay on input line 22. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 22. -LaTeX Font Info: ... okay on input line 22. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 22. -LaTeX Font Info: ... okay on input line 22. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 22. -LaTeX Font Info: ... okay on input line 22. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 22. -LaTeX Font Info: ... okay on input line 22. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 22. -LaTeX Font Info: ... okay on input line 22. - (/usr/share/texlive/texmf-dist/tex/latex/ucs/ucsencs.def -File: ucsencs.def 2011/01/21 Fixes to fontencodings LGR, T3 -) -LaTeX Info: Redefining \degres on input line 22. -LaTeX Info: Redefining \dots on input line 22. -LaTeX Info: Redefining \up on input line 22. -\AtBeginShipoutBox=\box48 -Package hyperref Info: Link coloring OFF on input line 22. - (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2019/09/16 v2.46 Cross-referencing by name of section - (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty -Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO) -) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty -Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO) -) -\c@section@level=\count272 -) -LaTeX Info: Redefining \ref on input line 22. -LaTeX Info: Redefining \pageref on input line 22. -LaTeX Info: Redefining \nameref on input line 22. - (/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.out) (/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.out) -\@outlinefile=\write3 -\openout3 = `rendu.out'. - -\c@lstlisting=\count273 -LaTeX Font Info: External font `cmex10' loaded for size -(Font) <12> on input line 25. -LaTeX Font Info: External font `cmex10' loaded for size -(Font) <8> on input line 25. -LaTeX Font Info: External font `cmex10' loaded for size -(Font) <6> on input line 25. - (/usr/share/texlive/texmf-dist/tex/latex/ucs/data/uni-0.def -File: uni-0.def 2013/05/13 UCS: Unicode data U+0000..U+00FF -) (/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.toc -LaTeX Font Info: External font `cmex10' loaded for size -(Font) <7> on input line 3. -LaTeX Font Info: External font `cmex10' loaded for size -(Font) <5> on input line 3. -) -\tf@toc=\write4 -\openout4 = `rendu.toc'. - - [1 - -{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] -Package hyperref Info: bookmark level for unknown lstlisting defaults to 0 on input line 52. - (/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/../resolveur.pl) -Package atveryend Info: Empty hook `BeforeClearDocument' on input line 54. - [3] -Package atveryend Info: Empty hook `AfterLastShipout' on input line 54. - (/home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.aux) -Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 54. -Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 54. -Package rerunfilecheck Info: File `rendu.out' has not changed. -(rerunfilecheck) Checksum: 4F9B3C6E20D2AB3647A2A6584CED3E7E;768. -Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 54. - ) -Here is how much of TeX's memory you used: - 8465 strings out of 481239 - 125377 string characters out of 5920377 - 763493 words of memory out of 5000000 - 23564 multiletter control sequences out of 15000+600000 - 541527 words of font info for 42 fonts, out of 8000000 for 9000 - 1141 hyphenation exceptions out of 8191 - 34i,6n,40p,424b,1166s stack positions out of 5000i,500n,10000p,200000b,80000s -{/usr/share/texmf/fonts/enc/dvips/cm-super/cm-super-ts1.enc}{/usr/share/texmf/fonts/enc/dvips/cm-super/cm-super-t1.enc} -Output written on /home/anri/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog/rendu/rendu.pdf (3 pages, 137365 bytes). -PDF statistics: - 163 PDF objects out of 1000 (max. 8388607) - 148 compressed objects within 2 object streams - 53 named destinations out of 1000 (max. 500000) - 89 words of extra memory for PDF output out of 10000 (max. 10000000) - diff --git a/rendu/rendu.out b/rendu/rendu.out deleted file mode 100644 index d4e94d1..0000000 --- a/rendu/rendu.out +++ /dev/null @@ -1,11 +0,0 @@ -\BOOKMARK [1][-]{section.1}{Pr\351sentation du Projet}{}% 1 -\BOOKMARK [2][-]{subsection.1.1}{Introduction et r\350gles du jeu}{section.1}% 2 -\BOOKMARK [2][-]{subsection.1.2}{R\351alisation}{section.1}% 3 -\BOOKMARK [1][-]{section.2}{R\351solution d'une grille avec des aires}{}% 4 -\BOOKMARK [2][-]{subsection.2.1}{On a essay\351\203}{section.2}% 5 -\BOOKMARK [1][-]{section.3}{Le programme}{}% 6 -\BOOKMARK [2][-]{subsection.3.1}{La fonction principal en d\351tail}{section.3}% 7 -\BOOKMARK [2][-]{subsection.3.2}{Listing des pr\351dicats utilis\351s}{section.3}% 8 -\BOOKMARK [2][-]{subsection.3.3}{On a pas r\351ussi\203}{section.3}% 9 -\BOOKMARK [1][-]{section.4}{Annexe : les codes}{}% 10 -\BOOKMARK [2][-]{subsection.4.1}{Programme qui ne fonctionne pas}{section.4}% 11 diff --git a/rendu/rendu.toc b/rendu/rendu.toc deleted file mode 100644 index 1d6237d..0000000 --- a/rendu/rendu.toc +++ /dev/null @@ -1,12 +0,0 @@ -\babel@toc {french}{} -\contentsline {section}{\numberline {1}Pr\IeC {\'e}sentation du Projet}{2}{section.1}% -\contentsline {subsection}{\numberline {1.1}Introduction et r\IeC {\`e}gles du jeu}{2}{subsection.1.1}% -\contentsline {subsection}{\numberline {1.2}R\IeC {\'e}alisation}{2}{subsection.1.2}% -\contentsline {section}{\numberline {2}R\IeC {\'e}solution d'une grille avec des aires}{2}{section.2}% -\contentsline {subsection}{\numberline {2.1}On a essay\IeC {\'e}\dots }{2}{subsection.2.1}% -\contentsline {section}{\numberline {3}Le programme}{2}{section.3}% -\contentsline {subsection}{\numberline {3.1}La fonction principal en d\IeC {\'e}tail}{2}{subsection.3.1}% -\contentsline {subsection}{\numberline {3.2}Listing des pr\IeC {\'e}dicats utilis\IeC {\'e}s}{2}{subsection.3.2}% -\contentsline {subsection}{\numberline {3.3}On a pas r\IeC {\'e}ussi\dots }{2}{subsection.3.3}% -\contentsline {section}{\numberline {4}Annexe : les codes}{3}{section.4}% -\contentsline {subsection}{\numberline {4.1}Programme qui ne fonctionne pas}{3}{subsection.4.1}%