warm_city.lp 139 B

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