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