14/27
\begin{frame}
  \frametitle{Imperative vs. Declarative Languages}
    
  \begin{block}{Kowalski}
    \begin{center}
      Algorithm = Logic + Control
    \end{center}
  \end{block}
  \smallskip

  Imperative/procedural languages:
  \begin{itemize}
    \item explicit control
    \item implicit logic
  \end{itemize}
  \smallskip
  
  Declarative/non-procedural languages:
  \begin{itemize}
    \item implicit control
    \item explicit logic
  \end{itemize}
  
  \begin{exampleblock}{Examples of declarative languages}
    \begin{itemize}
      \item logic programming (e.g. Prolog),
      \item functional programming (e.g. Haskell),
      \item markup languages (e.g. HTML), \ldots
    \end{itemize}
  \end{exampleblock}
\end{frame}