16 lines
211 B
Plaintext
16 lines
211 B
Plaintext
|
root(a).
|
||
|
|
|
||
|
|
neighbor(a,b).
|
||
|
|
neighbor(b,a).
|
||
|
|
neighbor(a,c).
|
||
|
|
neighbor(c,a).
|
||
|
|
neighbor(d,b).
|
||
|
|
neighbor(b,d).
|
||
|
|
neighbor(d,c).
|
||
|
|
neighbor(c,d).
|
||
|
|
|
||
|
|
temperature(a, 10).
|
||
|
|
temperature(b, 12).
|
||
|
|
temperature(c, 15).
|
||
|
|
temperature(d, 20).
|