Предикат random/1

Эта версия random возвращает случайное вещественное число

RandomReal, которое удовлетворяет ограничению:

0 <= Random Real < 1.

random/1 имеет формат:

random(Random Real) /* (o) */