| ?- singleton::value(Value).
Value = 0
yes

| ?- singleton::(set_value(1), value(Value)).
Value = 1
yes