Home Explore Help
Sign In
CNI
/
Prlog
2
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 96920e094b
Branches Tags
Prlog
/
tp
/
1
/
warm_city.lp

warm_city.lp 139 B
History Raw

123456789 
  1. % Generate
    2. 

  2. t(rennes, 4 ; nantes, 5 ; marseille, 8 ; paris, 2).
    3. 

  3. 

  4. % Test
    5. 

  5. #const ts = 4.
    6. 

  6. warm(V) :- t(V, T), T > ts.
    7. 

  7. 

  8. % Display
    9. 

  9. #show warm/1.
    10.