ding

diff --git a/report/ass2-1.tex b/report/ass2-1.tex
index ea6f097..18639be 100644 (file)
--- a/report/ass2-1.tex
+++ b/report/ass2-1.tex
@@ -174,4 +174,4 @@ can prefer the \textit{AILog} method when speed is of an essence. When
 precision is necessary manual calculation is preferred.
 
 \section{Burglary problem with extended information}
-
+$\frac{1}{1000}+\frac{9999}{10000}\frac{1}{10000}+\frac{9999}{10000}\frac{9998}{9999}\frac{1}{19998}$

diff --git a/report/src/burglary.ail b/report/src/burglary.ail
index 482efed..478d0e3 100644 (file)
--- a/report/src/burglary.ail
+++ b/report/src/burglary.ail
@@ -1,24 +1,16 @@
-prob joeW: 5/7.
-prob williamW: 5/7.
-prob jackW: 5/7.
-prob averallW: 5/7.
+prob joe: 5/7.
+prob william: 5/7.
+prob jack: 5/7.
+prob averall: 5/7.
 
-works(joe) <- joeW.
-works(william) <- williamW.
-works(jack) <- jackW.
-works(averall) <- averallW.
+joeWorks <- joe.
+jackWorks <- jack & joe.
+williamWorks <- william.
+averallWorks <- averall & jack & william.
 
-needs(joe, []).
-needs(william, []).
-needs(jack, [joe]).
-needs(averall, [jack, william]).
-
-
-burgels(X) <-
-       works(X) & needs(X, Needs) & forall(member(Burgel, Needs), member(Burgel, Workers)).
-
-%burgels(X) <-
-%      works(X) & findall(Y, works(Y), Workers) &
-%      needs(X, Needs) & forall(member(Burgel, Needs), member(Burgel, Workers)).
-
-%findall(X, burgels(X), L) & length(L, LX) & LX > 1.
+burglary <- joeWorks & jackWorks.
+burglary <- joeWorks & williamWorks.
+burglary <- joeWorks & averallWorks.
+burglary <- jackWorks & williamWorks.
+burglary <- jackWorks & averallWorks.
+burglary <- williamWorks & averallWorks.

diff --git a/report/src/pizza.ail b/report/src/pizza.ail
new file mode 100644 (file)
index 0000000..75fbb04
--- /dev/null
+++ b/report/src/pizza.ail
@@ -0,0 +1,5 @@
+% Margarita : cheese, tomatosauce.
+% Hawaii    : cheese, tomatosauce, ham, pineapple.
+%      Salami    : cheese, tomatosauce, salami.
+%      Funghi    : cheese, tomatosauce, mushrooms, ham(50%).
+%      Pepperoni : cheese, tomatosauce, salami, jalapeños.