| Did you know ... | Search Documentation: |
| slider-format |
printf() call (see also
string->format).
The default format for floating point values is %f and for integers %d.
The following defines a slider in 0.01 steps
from 0.0 .. 1.0:
?- new(S, slider(value, 0.0, 1.0, 0.5)), send(S, format, '%.2f').