pdf rendu
This commit is contained in:
parent
3ab1ea8577
commit
52216c13a2
13 changed files with 881 additions and 0 deletions
1
.vscode/configurationCache.log
vendored
Normal file
1
.vscode/configurationCache.log
vendored
Normal file
|
|
@ -0,0 +1 @@
|
|||
{"buildTargets":[],"launchTargets":[],"customConfigurationProvider":{"workspaceBrowse":{"browsePath":[],"compilerArgs":[]},"fileIndex":[]}}
|
||||
6
.vscode/dryrun.log
vendored
Normal file
6
.vscode/dryrun.log
vendored
Normal file
|
|
@ -0,0 +1,6 @@
|
|||
make --dry-run --always-make --keep-going --print-directory
|
||||
make: Entering directory '/mnt/y/Anri/2020-2021/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog'
|
||||
make: Leaving directory '/mnt/y/Anri/2020-2021/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog'
|
||||
|
||||
make: *** No targets specified and no makefile found. Stop.
|
||||
|
||||
3
.vscode/settings.json
vendored
Normal file
3
.vscode/settings.json
vendored
Normal file
|
|
@ -0,0 +1,3 @@
|
|||
{
|
||||
"makefile.extensionOutputFolder": "./.vscode"
|
||||
}
|
||||
212
.vscode/targets.log
vendored
Normal file
212
.vscode/targets.log
vendored
Normal file
|
|
@ -0,0 +1,212 @@
|
|||
make all --print-data-base --no-builtin-variables --no-builtin-rules --question
|
||||
make: *** No rule to make target 'all'. Stop.
|
||||
|
||||
# GNU Make 4.2.1
|
||||
# Built for x86_64-pc-linux-gnu
|
||||
# Copyright (C) 1988-2016 Free Software Foundation, Inc.
|
||||
# License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
|
||||
# This is free software: you are free to change and redistribute it.
|
||||
# There is NO WARRANTY, to the extent permitted by law.
|
||||
|
||||
# Make data base, printed on Mon Mar 15 20:38:33 2021
|
||||
|
||||
# Variables
|
||||
|
||||
# automatic
|
||||
<D = $(patsubst %/,%,$(dir $<))
|
||||
# automatic
|
||||
?F = $(notdir $?)
|
||||
# environment
|
||||
WSLENV = ELECTRON_RUN_AS_NODE/w:
|
||||
# default
|
||||
.SHELLFLAGS := -c
|
||||
# environment
|
||||
VSCODE_AGENT_FOLDER = /home/anri/.vscode-server
|
||||
# automatic
|
||||
?D = $(patsubst %/,%,$(dir $?))
|
||||
# automatic
|
||||
@D = $(patsubst %/,%,$(dir $@))
|
||||
# automatic
|
||||
@F = $(notdir $@)
|
||||
# makefile
|
||||
CURDIR := /mnt/y/Anri/2020-2021/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog
|
||||
# makefile
|
||||
SHELL = /bin/sh
|
||||
# environment
|
||||
MANPAGER = sh -c 'col -bx | batcat -l man -p'
|
||||
# environment
|
||||
VSCODE_NLS_CONFIG = {"locale":"fr","availableLanguages":{"*":"fr"},"_languagePackId":"bfa42981bf94312f6ef56f372de34860.fr","_translationsConfigFile":"/home/anri/.vscode-server/data/clp/bfa42981bf94312f6ef56f372de34860.fr/tcf.json","_cacheRoot":"/home/anri/.vscode-server/data/clp/bfa42981bf94312f6ef56f372de34860.fr","_resolvedLanguagePackCoreLocation":"/home/anri/.vscode-server/data/clp/bfa42981bf94312f6ef56f372de34860.fr/fd6f3bce6709b121a895d042d343d71f317d74e7","_corruptedFile":"/home/anri/.vscode-server/data/clp/bfa42981bf94312f6ef56f372de34860.fr/corrupted.info","_languagePackSupport":true}
|
||||
# makefile
|
||||
MAKEFILE_LIST :=
|
||||
# 'override' directive
|
||||
GNUMAKEFLAGS :=
|
||||
# environment
|
||||
VSCODE_VERBOSE_LOGGING = true
|
||||
# default
|
||||
MAKE_HOST := x86_64-pc-linux-gnu
|
||||
# environment
|
||||
PATH = /home/anri/.vscode-server/bin/fd6f3bce6709b121a895d042d343d71f317d74e7/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/mnt/c/Program Files/WindowsApps/CanonicalGroupLimited.UbuntuonWindows_2004.2021.222.0_x64__79rhkp1fndgsc:/mnt/c/program files/common files/oracle/java/javapath:/mnt/c/windows/system32:/mnt/c/windows:/mnt/c/windows/system32/wbem:/mnt/c/windows/system32/windowspowershell/v1.0/:/mnt/c/windows/system32/openssh/:/mnt/c/program files/git/cmd:/mnt/c/sqlite3:/mnt/c/Program Files (x86)/NVIDIA Corporation/PhysX/Common:/mnt/c/Program Files/Git/cmd:/mnt/c/Users/anri/AppData/Local/Programs/Python/Python39/Scripts/:/mnt/c/Users/anri/AppData/Local/Programs/Python/Python39/:/mnt/c/Users/anri/AppData/Local/Programs/Python/Launcher/:/mnt/c/Users/anri/AppData/Local/Microsoft/WindowsApps:/mnt/c/texlive/2020/bin/win32:/mnt/c/Program Files/mingw-w64/x86_64-8.1.0-posix-seh-rt_v6-rev0/mingw64/bin:/mnt/c/Users/anri/AppData/Local/Programs/Microsoft VS Code/bin
|
||||
# environment
|
||||
VSCODE_LOG_STACK = false
|
||||
# environment
|
||||
VSCODE_IPC_HOOK_CLI = /tmp/vscode-ipc-906746cd-da5e-495f-8ad4-3b2d70fded9d.sock
|
||||
# default
|
||||
.FEATURES := target-specific order-only second-expansion else-if shortest-stem undefine oneshell archives jobserver output-sync check-symlink load
|
||||
# environment
|
||||
LS_COLORS = rs=0:di=01;34:ln=01;36:mh=00:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=40;31;01:mi=00:su=37;41:sg=30;43:ca=30;41:tw=30;42:ow=34;42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.arc=01;31:*.arj=01;31:*.taz=01;31:*.lha=01;31:*.lz4=01;31:*.lzh=01;31:*.lzma=01;31:*.tlz=01;31:*.txz=01;31:*.tzo=01;31:*.t7z=01;31:*.zip=01;31:*.z=01;31:*.dz=01;31:*.gz=01;31:*.lrz=01;31:*.lz=01;31:*.lzo=01;31:*.xz=01;31:*.zst=01;31:*.tzst=01;31:*.bz2=01;31:*.bz=01;31:*.tbz=01;31:*.tbz2=01;31:*.tz=01;31:*.deb=01;31:*.rpm=01;31:*.jar=01;31:*.war=01;31:*.ear=01;31:*.sar=01;31:*.rar=01;31:*.alz=01;31:*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.cab=01;31:*.wim=01;31:*.swm=01;31:*.dwm=01;31:*.esd=01;31:*.jpg=01;35:*.jpeg=01;35:*.mjpg=01;35:*.mjpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.svg=01;35:*.svgz=01;35:*.mng=01;35:*.pcx=01;35:*.mov=01;35:*.mpg=01;35:*.mpeg=01;35:*.m2v=01;35:*.mkv=01;35:*.webm=01;35:*.ogm=01;35:*.mp4=01;35:*.m4v=01;35:*.mp4v=01;35:*.vob=01;35:*.qt=01;35:*.nuv=01;35:*.wmv=01;35:*.asf=01;35:*.rm=01;35:*.rmvb=01;35:*.flc=01;35:*.avi=01;35:*.fli=01;35:*.flv=01;35:*.gl=01;35:*.dl=01;35:*.xcf=01;35:*.xwd=01;35:*.yuv=01;35:*.cgm=01;35:*.emf=01;35:*.ogv=01;35:*.ogx=01;35:*.aac=00;36:*.au=00;36:*.flac=00;36:*.m4a=00;36:*.mid=00;36:*.midi=00;36:*.mka=00;36:*.mp3=00;36:*.mpc=00;36:*.ogg=00;36:*.ra=00;36:*.wav=00;36:*.oga=00;36:*.opus=00;36:*.spx=00;36:*.xspf=00;36:
|
||||
# automatic
|
||||
%F = $(notdir $%)
|
||||
# environment
|
||||
VSCODE_PIPE_LOGGING = true
|
||||
# environment
|
||||
PWD = /mnt/y/Anri/2020-2021/deuxiemeSemestre/prograDeclaEtBasesDeDonnees/heyawake-prolog
|
||||
# default
|
||||
.LOADED :=
|
||||
# environment
|
||||
WSL_INTEROP = /run/WSL/8_interop
|
||||
# environment
|
||||
VSCODE_AMD_ENTRYPOINT = vs/server/remoteExtensionHostProcess
|
||||
# environment
|
||||
HOME = /home/anri
|
||||
# environment
|
||||
LOGNAME = anri
|
||||
# environment
|
||||
APPLICATION_INSIGHTS_NO_DIAGNOSTIC_CHANNEL = true
|
||||
# environment
|
||||
VSCODE_HANDLES_UNCAUGHT_ERRORS = true
|
||||
# automatic
|
||||
^D = $(patsubst %/,%,$(dir $^))
|
||||
# environment
|
||||
MAKELEVEL := 0
|
||||
# default
|
||||
MAKE = $(MAKE_COMMAND)
|
||||
# default
|
||||
MAKECMDGOALS := all
|
||||
# environment
|
||||
SHLVL = 1
|
||||
# environment
|
||||
LATEXWORKSHOP_DOCKER_LATEX = tianon/latex
|
||||
# default
|
||||
MAKE_VERSION := 4.2.1
|
||||
# environment
|
||||
USER = anri
|
||||
# makefile
|
||||
.DEFAULT_GOAL :=
|
||||
# environment
|
||||
NAME = Code
|
||||
# automatic
|
||||
%D = $(patsubst %/,%,$(dir $%))
|
||||
# environment
|
||||
VSCODE_WSL_EXT_LOCATION = /mnt/c/Users/anri/.vscode/extensions/ms-vscode-remote.remote-wsl-0.54.3
|
||||
# default
|
||||
MAKE_COMMAND := make
|
||||
# default
|
||||
.VARIABLES :=
|
||||
# automatic
|
||||
*F = $(notdir $*)
|
||||
# makefile
|
||||
MAKEFLAGS = pqrR
|
||||
# environment
|
||||
MFLAGS = -pqrR
|
||||
# automatic
|
||||
*D = $(patsubst %/,%,$(dir $*))
|
||||
# automatic
|
||||
+D = $(patsubst %/,%,$(dir $+))
|
||||
# automatic
|
||||
+F = $(notdir $+)
|
||||
# environment
|
||||
GIT_ASKPASS = v#W#^UeH4dL9tirg2i
|
||||
# default
|
||||
MAKEFILES :=
|
||||
# automatic
|
||||
<F = $(notdir $<)
|
||||
# environment
|
||||
HOSTTYPE = x86_64
|
||||
# automatic
|
||||
^F = $(notdir $^)
|
||||
# default
|
||||
SUFFIXES :=
|
||||
# default
|
||||
.INCLUDE_DIRS = /usr/include /usr/local/include /usr/include
|
||||
# environment
|
||||
VSCODE_INJECT_NODE_MODULE_LOOKUP_PATH = /home/anri/.vscode-server/bin/fd6f3bce6709b121a895d042d343d71f317d74e7/remote/node_modules
|
||||
# default
|
||||
.RECIPEPREFIX :=
|
||||
# environment
|
||||
LANG = fr_FR.UTF-8
|
||||
# environment
|
||||
TERM = xterm-256color
|
||||
# environment
|
||||
VSCODE_EXTHOST_WILL_SEND_SOCKET = true
|
||||
# environment
|
||||
WSL_DISTRO_NAME = Ubuntu
|
||||
# variable set hash-table stats:
|
||||
# Load=64/1024=6%, Rehash=0, Collisions=4/86=5%
|
||||
|
||||
# Pattern-specific Variable Values
|
||||
|
||||
# No pattern-specific variable values.
|
||||
|
||||
# Directories
|
||||
|
||||
# . (device 54, inode 186122399): 7 files, no impossibilities.
|
||||
|
||||
# 7 files, no impossibilities in 1 directories.
|
||||
|
||||
# Implicit Rules
|
||||
|
||||
# No implicit rules.
|
||||
|
||||
# Files
|
||||
|
||||
# Not a target:
|
||||
all:
|
||||
# Command line target.
|
||||
# Implicit rule search has been done.
|
||||
# File does not exist.
|
||||
# File has not been updated.
|
||||
|
||||
# Not a target:
|
||||
Makefile:
|
||||
# Implicit rule search has been done.
|
||||
# File does not exist.
|
||||
# File has been updated.
|
||||
# Failed to be updated.
|
||||
|
||||
# Not a target:
|
||||
makefile:
|
||||
# Implicit rule search has been done.
|
||||
# File does not exist.
|
||||
# File has been updated.
|
||||
# Failed to be updated.
|
||||
|
||||
# Not a target:
|
||||
.DEFAULT:
|
||||
# Implicit rule search has not been done.
|
||||
# Modification time never checked.
|
||||
# File has not been updated.
|
||||
|
||||
# Not a target:
|
||||
GNUmakefile:
|
||||
# Implicit rule search has been done.
|
||||
# File does not exist.
|
||||
# File has been updated.
|
||||
# Failed to be updated.
|
||||
|
||||
# files hash-table stats:
|
||||
# Load=6/1024=1%, Rehash=0, Collisions=0/15=0%
|
||||
# VPATH Search Paths
|
||||
|
||||
# No 'vpath' search paths.
|
||||
|
||||
# No general ('VPATH' variable) search path.
|
||||
|
||||
# strcache buffers: 1 (0) / strings = 15 / storage = 140 B / avg = 9 B
|
||||
# current buf: size = 8162 B / used = 140 B / count = 15 / avg = 9 B
|
||||
|
||||
# strcache performance: lookups = 18 / hit rate = 16%
|
||||
# hash-table stats:
|
||||
# Load=15/8192=0%, Rehash=0, Collisions=1/18=6%
|
||||
# Finished Make data base on Mon Mar 15 20:38:33 2021
|
||||
|
||||
|
||||
36
rendu/rendu.aux
Normal file
36
rendu/rendu.aux
Normal file
|
|
@ -0,0 +1,36 @@
|
|||
\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 }
|
||||
95
rendu/rendu.fdb_latexmk
Normal file
95
rendu/rendu.fdb_latexmk
Normal file
|
|
@ -0,0 +1,95 @@
|
|||
# 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"
|
||||
150
rendu/rendu.fls
Normal file
150
rendu/rendu.fls
Normal file
|
|
@ -0,0 +1,150 @@
|
|||
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
|
||||
301
rendu/rendu.log
Normal file
301
rendu/rendu.log
Normal file
|
|
@ -0,0 +1,301 @@
|
|||
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}</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf/fonts/type1/public/cm-super/sfbx1000.pfb></usr/share/texmf/fonts/type1/public/cm-super/sfbx1200.pfb></usr/share/texmf/fonts/type1/public/cm-super/sfbx1440.pfb></usr/share/texmf/fonts/type1/public/cm-super/sfrm1000.pfb></usr/share/texmf/fonts/type1/public/cm-super/sfrm1200.pfb></usr/share/texmf/fonts/type1/public/cm-super/sfrm1728.pfb></usr/share/texmf/fonts/type1/public/cm-super/sfti1000.pfb>
|
||||
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)
|
||||
|
||||
11
rendu/rendu.out
Normal file
11
rendu/rendu.out
Normal file
|
|
@ -0,0 +1,11 @@
|
|||
\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
|
||||
BIN
rendu/rendu.pdf
Normal file
BIN
rendu/rendu.pdf
Normal file
Binary file not shown.
BIN
rendu/rendu.synctex.gz
Normal file
BIN
rendu/rendu.synctex.gz
Normal file
Binary file not shown.
54
rendu/rendu.tex
Normal file
54
rendu/rendu.tex
Normal file
|
|
@ -0,0 +1,54 @@
|
|||
\documentclass{article}
|
||||
|
||||
\usepackage[utf8x]{inputenc} % encodage utf-8
|
||||
\usepackage[french]{babel} % en français
|
||||
\usepackage[T1]{fontenc} % encodage T1 police
|
||||
\usepackage[hidelinks]{hyperref} % lien dans table des matières
|
||||
\usepackage{listings} % intégration code
|
||||
|
||||
\lstset{
|
||||
columns=fullflexible, % encadré
|
||||
frame=single, % encadré
|
||||
breaklines=true, % lignes dans encadré
|
||||
numbers=left, % chiffres
|
||||
showstringspaces=false, % espaces normaux
|
||||
language=Prolog, % language
|
||||
literate={á}{{\'a}}1 {ã}{{\~a}}1 {é}{{\'e}}1 % utf-8 fix
|
||||
}
|
||||
\author{Kévin Martins Da Veiga [20009472] et Anri Kennel [20010664]}
|
||||
\title{Projet Heyawake en Prolog}
|
||||
\date{}
|
||||
|
||||
\begin{document}
|
||||
|
||||
\maketitle
|
||||
\tableofcontents
|
||||
\newpage
|
||||
|
||||
\section{Présentation du Projet}
|
||||
\subsection{Introduction et règles du jeu}
|
||||
\noindent L'Heyawake est un puzzle joué dans une grille rectangulaire séparés en plusieurs aires dont le but
|
||||
est de colorés des cellules en noir et blanc en accord avec les règles :
|
||||
\\\indent -> Certaines aires contiennent un chiffre qui montre combien il y a de cellules noires dans l'aire
|
||||
\\\indent\indent -> Région avec un 0 ne doivent pas avoir de cellules noires
|
||||
\\\indent\indent -> Région avec un 1 contient une cellule noire
|
||||
\\\indent -> Toutes les cellules blanches doivent être connectés en un seul groupe, pas de groupe isolés, elles doivent toutes être reliés
|
||||
\\\indent -> Deux cellules noires de peuvent être l'un à côté de l'autre horizontalement et verticalement (en diagonale, c'est possible)
|
||||
\\\indent\indent -> Ca veut dire que les cellules noires doivent être que entourés de cellules blanches
|
||||
\\\indent -> Une rangée de cellule blanche ne peuvent pas être alignée au-delà de 2 aires
|
||||
\subsection{Réalisation}
|
||||
|
||||
\section{Résolution d'une grille avec des aires}
|
||||
\subsection{On a essayé\dots}
|
||||
|
||||
\section{Le programme}
|
||||
\subsection{La fonction principal en détail}
|
||||
\subsection{Listing des prédicats utilisés}
|
||||
\subsection{On a pas réussi\dots}
|
||||
|
||||
\newpage
|
||||
\section{Annexe : les codes}
|
||||
\subsection{Programme qui ne fonctionne pas}
|
||||
\lstinputlisting{../resolveur.pl}
|
||||
|
||||
\end{document}
|
||||
12
rendu/rendu.toc
Normal file
12
rendu/rendu.toc
Normal file
|
|
@ -0,0 +1,12 @@
|
|||
\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}%
|
||||
Reference in a new issue