From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 11 Nov 2014 14:17:19 +0000 (+0100)
Subject: update
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=0e5522b8a745ab983cc814136fa43716c14cf351;p=ker1415-1.git

update
---

diff --git a/report/ass1.tex b/report/ass1.tex
index 670bdcf..19e16ab 100644
--- a/report/ass1.tex
+++ b/report/ass1.tex
@@ -10,44 +10,44 @@
 		We use the functions $agent(X, S_i), crate(cratename, X, S_i)$ and
 		$target(cratename, X)$ to easily represent the information. 
 	\item{Q3}\\
-		$\begin{array}{lll}
-			connected(loc11, loc21, east)\wedge &
-			connected(loc11, loc12, north)\wedge &
-			connected(loc12, loc22, east)\wedge\\
-			connected(loc12, loc13, north)\wedge &
-			connected(loc13, loc23, east)\wedge &
-			connected(loc13, loc14, north)\wedge\\
-			connected(loc14, loc24, east)\wedge &
-			connected(loc21, loc31, east)\wedge &
-			connected(loc21, loc22, north)\wedge\\
-			connected(loc22, loc32, east)\wedge &
-			connected(loc22, loc23, north)\wedge &
-			connected(loc23, loc33, east)\wedge\\
-			connected(loc23, loc24, north)\wedge &
-			connected(loc31, loc32, north)\wedge &
-			connected(loc32, loc33, north)\wedge\\
-			connected(loc21, loc11, west)\wedge &
-			connected(loc12, loc11, south)\wedge &
-			connected(loc22, loc12, west)\wedge\\
-			connected(loc13, loc12, south)\wedge &
-			connected(loc23, loc13, west)\wedge &
-			connected(loc14, loc13, south)\wedge\\
-			connected(loc24, loc14, west)\wedge &
-			connected(loc31, loc21, west)\wedge &
-			connected(loc22, loc21, south)\wedge\\
-			connected(loc32, loc22, west)\wedge &
-			connected(loc23, loc22, south)\wedge &
-			connected(loc33, loc23, west)\wedge\\
-			connected(loc24, loc23, south)\wedge &
-			connected(loc32, loc31, south)\wedge &
-			connected(loc33, loc32, south)\wedge\\
-			crate(cratec, loc21, s0)\wedge &
-			crate(crateb, loc22, s0)\wedge &
-			crate(cratea, loc23, s0)\wedge\\
-			target(cratea, loc12)\wedge &
-			target(crateb, loc13)\wedge &
-			target(cratec, loc11)\wedge\\
-			agent(loc32, s0)\wedge\\
+		$\begin{array}{llllll}
+			connected(loc11, loc21, east) & \wedge &
+			connected(loc11, loc12, north) & \wedge &
+			connected(loc12, loc22, east) & \wedge\\
+			connected(loc12, loc13, north) & \wedge &
+			connected(loc13, loc23, east) & \wedge &
+			connected(loc13, loc14, north) & \wedge\\
+			connected(loc14, loc24, east) & \wedge &
+			connected(loc21, loc31, east) & \wedge &
+			connected(loc21, loc22, north) & \wedge\\
+			connected(loc22, loc32, east) & \wedge &
+			connected(loc22, loc23, north) & \wedge &
+			connected(loc23, loc33, east) & \wedge\\
+			connected(loc23, loc24, north) & \wedge &
+			connected(loc31, loc32, north) & \wedge &
+			connected(loc32, loc33, north) & \wedge\\
+			connected(loc21, loc11, west) & \wedge &
+			connected(loc12, loc11, south) & \wedge &
+			connected(loc22, loc12, west) & \wedge\\
+			connected(loc13, loc12, south) & \wedge &
+			connected(loc23, loc13, west) & \wedge &
+			connected(loc14, loc13, south) & \wedge\\
+			connected(loc24, loc14, west) & \wedge &
+			connected(loc31, loc21, west) & \wedge &
+			connected(loc22, loc21, south) & \wedge\\
+			connected(loc32, loc22, west) & \wedge &
+			connected(loc23, loc22, south) & \wedge &
+			connected(loc33, loc23, west) & \wedge\\
+			connected(loc24, loc23, south) & \wedge &
+			connected(loc32, loc31, south) & \wedge &
+			connected(loc33, loc32, south) & \wedge\\
+			crate(cratec, loc21, s0) & \wedge &
+			crate(crateb, loc22, s0) & \wedge &
+			crate(cratea, loc23, s0) & \wedge\\
+			target(cratea, loc12) & \wedge &
+			target(crateb, loc13) & \wedge &
+			target(cratec, loc11) & \wedge\\
+			agent(loc32, s0) & \wedge\\
 		\end{array}$
 	\item{Q4}\\
 		$goal(s)\rightarrow\\