１）S　と　T　が最後に表示されない
　　のは、述語test/0 がFailしているのでTopGoal全体がFailしているからです。

　?-S is cputime,(test;true), T is cputime – S.
とでもすればよろしいでしょう。

２）q(8)のプログラムはどこでてにはいりますか？
　インストールDIR/sample/other/queen.pl
にあります。

３）時間計測は表示処理をコメントアウトして実処理時間だけでおこないます。
　　解が多量に出力されるようなプログラムではwrite/1の処理だけ計測している
　　ことになります。

４）ほとんどのProlog処理系共通でつかえる繰り返し時間計測処理
インストールDIR/bench/harness.pl
にありますので、ご参照ください。

稲葉さん
ありがとうございます。

稲葉さんがお示しした質問はエラーになります。
| ?-S is cputime,(test;true), T is cputime – S.
Syntax error
| ?-

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
ここで実行しているqueens.pl をコピペします。
どこが行けないのでしょうか？

〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
% 9-queens program

test :- queen([1,2,3,4,5,6,7,8,9],X),write(X),nl,fail.

queen(Data, Out) :-
queen_2(Data, [], Out).

queen_2([], _, []).
queen_2([H|T], History, [Q|M]) :-
qdelete(Q, H, T, L1),
nodiag(History, Q, 1),
queen_2(L1, [Q|History], M).

qperm([], []).
qperm([X|Y], [U|V]) :-
qdelete(U, X, Y, Z),
qperm(Z, V).

qdelete(A, A, L, L).
qdelete(X, A, [H|T], [A|R]) :-
qdelete(X, H, T, R).

safe([]).
safe([N|L]) :-
nodiag(L, N, 1),
safe(L).

nodiag([], _, _).
nodiag([N|L], B, D) :-
D =\= N – B,
D =\= B – N,
D1 is D + 1,
nodiag(L, B, D1).
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜

| ?-S is cputime,(test;true), T is cputime – S.
の最後の”－”が字化しています。
コピペせずに手打ちしてください。

稲葉さん

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

実行できました。

〜〜〜〜〜〜〜〜
実行画面
〜〜〜〜〜〜〜〜
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
| ?-
〜〜〜〜〜〜〜〜