ui-sudoku.tex

% ----------------------------------------------------------------------
\begin{frame}{User interface encoding}{Sudoku}
  \bigskip\bigskip\bigskip
  \lstinputlisting[language=clingos,basicstyle=\scriptsize\ttfamily]{listings/sudoku-ui.lp}
  \begin{picture}(0,0)(-240,-100)
    \put(0,0){%
      \includegraphics<1>[width=.3\textwidth]{images/clinguin-sudoku-0.png}%
      \includegraphics<2>[width=.3\textwidth]{images/clinguin-sudoku-1.png}%
      \includegraphics<3>[width=.3\textwidth]{images/clinguin-sudoku-2.png}%
      \includegraphics<4>[width=.3\textwidth]{images/clinguin-sudoku-3.png}%
    }
  \end{picture}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: