/
flying.tex
111 lines (94 loc) · 2.8 KB
/
flying.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
% ----------------------------------------------------------------------
\begin{frame}[fragile,c]{\alt<1>{Traveling}{\alert<2>{Flying}}}
\vspace{-1cm}
%\large
%\normalsize
\small
%
% code
%
\begin{semiverbatim}
\alertbf{3}{ \alertbf{4}{start(a).} \alertbf{5}{\alt<1>{\phantom{fl}road}{\alertbf{2}{flight}}(a,b).} \alertbf{7}{road(b,c).}
\alertbf{8}{road(c,d).} \alertbf{9}{\alt<1>{\phantom{fl}road}{\alertbf{2}{flight}}(d,e).} road(e,a).}
\alertbf{4}{ visit(X) :- start(X).}
\alertbf{7-8}{visit(Y) :- road(X,Y), visit(X).}
\visible<2->{\alertbf{2}{\alertbf{5,9}{\{ fly(X,Y) \} :- flight(X,Y), visit(X).}
\alertbf{6,10}{visit(Y) :- fly(X,Y).}}}
\end{semiverbatim}
\vspace{-0.6cm}
%
% figure
%
\visible<3->{
\begin{center}
\begin{tikzpicture}[examples]
%\visible<3-4>{
%\node[align=center, on grid, draw, circle, inner sep=2mm] (smodel0) at (0,0){%
%\alt<4->{\alertbf{4}{\texttt{visit(a)}}}
% {\phantom{\textbf{\texttt{visit(a)}}}}
%};
%}
\visible<3->{
\node[align=center, on grid, draw, circle, inner sep=2mm] (smodel1) at (-0.7,0){%
\alt<3>{\phantom{\texttt{visit(a)}}}{\alertbf{4}{\texttt{visit(a)}}}%
};
}
\visible<5->{\node[any] (ok1) at ($ (smodel1) + (10mm,-9mm) $) {\MiddleBigOK};}
%
\visible<5-8>{
\node[align=center, on grid, draw, ellipse, inner sep=0mm, dashed] (smodel2) at (1.5,0){%
\begin{tabular}{r@{\ }l}
\alertbf{5}{\texttt{visit(a)}}\\
\alertbf{5,6}{\texttt{fly(a,b)}}\\
\visible<6->{\alertbf{6,7}{\texttt{visit(b)}}}\\
\visible<7->{\alertbf{7,8}{\texttt{visit(c)}}}\\
\visible<8->{\alertbf{8}{\texttt{visit(d)}}}\\
\end{tabular}
};
}
% copy but not dashed
\visible<9->{
\node[align=center, on grid, draw, ellipse, inner sep=0mm] (smodel2) at (1.5,0){%
\begin{tabular}{r@{\ }l}
\texttt{visit(a)}\\
\alertbf{5}{\texttt{fly(a,b)}}\\
\visible<6->{\alertbf{6}{\texttt{visit(b)}}}\\
\visible<7->{\alertbf{7}{\texttt{visit(c)}}}\\
\visible<8->{\alertbf{8}{\texttt{visit(d)}}}\\
\end{tabular}
};
}
%
\visible<9->{\node[any] (ok2) at ($ (smodel2) + (13mm,-13mm) $) {\MiddleBigOK};}
\visible<9-10>{
\node[align=center, on grid, draw, ellipse, inner sep=0mm, dashed] (smodel3) at (4.1,0){%
\begin{tabular}{r@{\ }l}
\texttt{visit(a)}\\
\texttt{fly(a,b)}\\
\texttt{visit(b)}\\
\texttt{visit(c)}\\
\alertbf{9}{\texttt{visit(d)}}\\
\alertbf{9,10}{\texttt{fly(d,e)}}\\
\visible<10->{\alertbf{10}{\texttt{visit(e)}}}\\
\end{tabular}
};
}
% copy but not dashed
\visible<11->{
\node[align=center, on grid, draw, ellipse, inner sep=0mm] (smodel3) at (4.1,0){%
\begin{tabular}{r@{\ }l}
\texttt{visit(a)}\\
\texttt{fly(a,b)}\\
\texttt{visit(b)}\\
\texttt{visit(c)}\\
\texttt{visit(d)}\\
\alertbf{9}{\texttt{fly(d,e)}}\\
\visible<10->{\alertbf{10}{\texttt{visit(e)}}}\\
\end{tabular}
};
}
\visible<11>{\node[any] (ok3) at ($ (smodel3) + (14mm,-18mm) $) {\MiddleBigOK};}
\end{tikzpicture}
\end{center}
} % \visible
\end{frame}