\fi
\section{Domain representation}
Translating the domain specification to AILog results in the following AILog
-code:
+code:\\
\inputminted[linenos,fontsize=\footnotesize]{prolog}{./src/pizza.ail}
\section{Queries}
Answer: P(circlePresent|Obs)=0.95.
[ok,more,explanations,worlds,help]: ok.
\end{minted}
-\begin{table}
+\begin{table}[H]
\label{chances}
\begin{tabular}{|l|ll|}
\hline