Exercice 5 of TD1

td/td1/asp5_enc.lp

@@ -0,0 +1,6 @@
+{next_metro(V) : city(V)} = 1.
+
+#maximize {N @ 1, V : next_metro(V), people(V, N)}.
+:- next_metro(V), metro(V).
+
+#show next_metro/1.

td/td1/asp5_ins.lp

@@ -0,0 +1,9 @@
+city(brest; rennes; nantes; paris; lille).
+
+people(brest, 140).
+people(rennes, 200).
+people(nantes, 300).
+people(paris, 2300).
+people(lille, 230).
+
+metro(rennes; paris; lille).