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