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