@@ -1,5 +1,5 @@
% Generate
-t(rennes,4). t(nantes,5). t(marseille,8). t(paris,2).
+t(rennes, 4 ; nantes, 5 ; marseille, 8 ; paris, 2).
% Test
warm(V) :- t(V, T), T > 4.
