Swi-Prolog：未定義手順：random_permutation/2

Question

なぜこの述語random_permutationは機能しませんか？

http://www.swi-prolog.org/pldoc/doc_for?object=random_permutation/2

?- use_module(library(random)). 
% library(pairs) compiled into pairs 0.00 sec, 8,880 bytes 
% library(random) compiled into random 0.04 sec, 333,032 bytes 
true. 

?- L=[1,2,3,4,5], random_permutation(L,P). 
ERROR: toplevel: Undefined procedure: random_permutation/2 (DWIM could not correct goal) 

どのように私はそれを動作させることができますか？

Answer 1

使用しているバージョンをもう一度確認してください。私は5.10.5を使用しており、ライブラリのサイズは一致していないようです。

3 ?- use_module(library(random)). 
% library(pairs) compiled into pairs 0.00 sec, 4,568 bytes 
% library(random) compiled into random 0.03 sec, 46,624 bytes 
true. 

4 ?- L=[1,2,3,4,5], random_permutation(L,K). 
L = [1, 2, 3, 4, 5], 
K = [1, 3, 2, 4, 5].