稲葉さん

ありがとうございました。　

実行できました。

〜〜〜〜〜〜〜〜
実行画面
〜〜〜〜〜〜〜〜
AZ-Prolog Version 9.53 (Linux/x64)
Copyright (C) SOFNEC CO., LTD. 1987-2016/09/11
| ?-S is cputime, ( test ; true ) , T is cputime – S.
＜省略＞
[9,7,2,4,1,8,5,3,6]
[9,7,3,8,2,5,1,6,4]
[9,7,4,2,8,6,1,3,5]
S = 1477464343.71518,
T = 0.123245000839233
yes
| ?-
〜〜〜〜〜〜〜〜