workflow-systems.tex

% ----------------------------------------------------------------------
\begin{frame}[c]{ASP solving process}
  \begin{center}
    \small
    \setlength{\unitlength}{.75pt}
    \begin{picture}(420,200)(-210,-35)
      \put(-200,110){{\framebox(80,40){Problem}}}
      \put(-200,-20){{\framebox(80,40){\shortstack{{Logic}\\{Program}}}}}
      \put(-80,-15){\alert<2->{\framebox(60,30){\textbf<2-4>{\alt<3->{gringo}{Grounder}}}}}
      \put(  20,-15){\alert<2->{\framebox(60,30){\textbf<2-4>{\alt<3->{clasp}{Solver}}}}}
      \put( 120,-20){{\framebox(80,40){\shortstack{{Stable}\\{Models}}}}}
      \put( 120,110){\framebox(80,40){Solution}}
      \put(-120,0){\vector(1,0){40}}
      \put( -20,0){\color<4->{yellow}{\vector(1,0){40}}}
      \put(  80,0){\vector(1,0){40}}
      \put(-160,110){\vector(0,-1){90}}
      \put( 160, 20){\vector(0, 1){90}}
      \put(-217, 62.5){{Modeling}}
      \put( 165, 62.5){{Interpreting}}
      \alt<4->{\put(   0,-42.5){\alert<5->{\makebox(0,0){\alt<5->{\textbf<5->{clingo}}{Solving}}}}}%
              {\put(   0,-32.5){{\makebox(0,0){Solving}}}}
      \only<4->{\put(-90,-30){\alert<4>{\framebox(180,60){}}}%
                \put( 20,0){\color<4->{yellow}{\vector(-1,0){40}}}}
    \end{picture}
  \end{center}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: