问题在于在我的序言脚本上使用随机数,我在序言文件 script.pl 上有下一个代码:
main:-
get_time(TS),
set_random(TS),
random(-1000.0, 1000.0, X),
write('Random number: '),
write(X),
nl.
我在控制台上执行下一个命令行:
swipl -s script.pl -g 'main' -t 'halt(1)'
输出是:
% library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 2,224 bytes
% /home/script.pl compiled 0.01 sec, 704 bytes
Random number: -533.6139326519667
我可以多次运行相同的命令,并且每次都有相同的输出。我尝试在不更改随机种子的情况下工作,但问题仍然存在。
我正在使用 Ubuntu 12.04 32 位。
请帮忙!