+queries using the \texttt{whatpizza} predicate. The \texttt{whatpizza}
+predicate is a predicate that is a disjunction of all pizza types. In the
+following queries, when the possible explanations, are given we can query for
+every possible explanations to find out how the most likely world looks like:
+\begin{minted}[fontsize=\footnotesize]{prolog}
+ailog: predict whatpizza.
+Answer: P(whatpizza|Obs)=[0.19251740120000002,0.19278577620000004].
+ [ok,more,explanations,worlds,help]: explanations.
+ 0: ass([],[basilicumcircle,circle,doublecircle,doublecircleOlives,noObserveError],9.5e-6)
+ 1: ass([],[circle,doublecircle,doublecircleJalapenos,noObserveError,salamicircle],1.9e-5)
+ 2: ass([],[blob,blobHam,blobMushrooms,circle,funghiham,noObserveError],3.3249999999999995e-6)
+ 3: ass([],[basilicumcircle,circle,noObserveError,salamibasilicum,salamicircle],7.6e-5)
+ 4: ass([],[basilicumcircle,circle,noObserveError],0.0019)
+ 5: ass([],[blob,blobBasilicum,circle,noObserveError],9.5e-6)
+ [ok,more,how i,help]: how 4.
+ whatpizza <-
+ 1: p_margarita
+ How? [Number,up,retry,ok,prompt,help]: up.
+Answer: P(whatpizza|Obs)=[0.19251740120000002,0.19278577620000004].
+ [ok,more,explanations,worlds,help]: ok.
+ailog: observe blob.
+Answer: P(blob|Obs)=0.01.
+ [ok,more,explanations,worlds,help]: ok.
+ailog: predict whatpizza.
+Answer: P(whatpizza|Obs)=[0.28994000000000003,0.33126500000000003].
+ [ok,more,explanations,worlds,help]: explanations.
+ 0: ass([],[blob,blobHam,blobMushrooms,circle,funghiham,noObserveError],3.3249999999999995e-6)
+ 1: ass([],[basilicumcircle,blob,circle,noObserveError],1.9e-5)
+ 2: ass([],[blob,blobBasilicum,circle,noObserveError],9.5e-6)
+ [ok,more,how i,help]: how 0.
+ whatpizza <-
+ 1: p_funghi
+ How? [Number,up,retry,ok,prompt,help]: ok.
+\end{minted}