Paris8/heyawake-prolog
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

tabulation amélioré

Browse source
This commit is contained in:
Mylloon 2021-03-16 12:58:37 +01:00
parent c9d36b7cd1
commit de878534ec
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

BIN
rendu/rendu.pdf
View file

Binary file not shown.

8
rendu/rendu.tex
View file

@ -162,12 +162,12 @@ run([[0,0,1,1,2], [2,0,2,2,-1], [3,0,5,1,-1],
\item \textbf{\texttt{aire(X1, Y1, X2, Y2, E, T)}} : \item \textbf{\texttt{aire(X1, Y1, X2, Y2, E, T)}} :
Ce prédicat fait scanne l'aire renseignée et assigne une couleur via le prédicat \emph{\texttt{case}}. Ce prédicat fait scanne l'aire renseignée et assigne une couleur via le prédicat \emph{\texttt{case}}.
\item \textbf{\texttt{airereverse(X1, Y1, X2, Y2, 0, T)}} : \item \textbf{\texttt{airereverse(X1, Y1, X2, Y2, 0, T)}} :
Ce prédicat est appelée par le prédicat \emph{\texttt{aire}} et permet de vérifier tous les éléments Ce prédicat est appelée par le prédicat \emph{\texttt{aire}} et permet de vérifier tous les éléments
d'une aire. d'une aire.
\item \textbf{\texttt{case(X, Y, C)}} : \item \textbf{\texttt{case(X, Y, C)}} :
Ce prédicat renvoie la couleur d'une case du puzzle. Ce prédicat renvoie la couleur d'une case du puzzle.
\item \textbf{\texttt{run([[X1, Y1, X2, Y2, E] | Q])}} : \item \textbf{\texttt{run([[X1, Y1, X2, Y2, E] | Q])}} :
Ce prédicat lance la résolution du puzzle. Ce prédicat lance la résolution du puzzle.
\end{listeFleche} \end{listeFleche}