7 lines
105 B
Text
7 lines
105 B
Text
| ?- singleton::value(Value).
|
|
Value = 0
|
|
yes
|
|
|
|
| ?- singleton::(set_value(1), value(Value)).
|
|
Value = 1
|
|
yes
|