Lines Matching refs:statistics
43 * statistics/0
44 * statistics/1
45 * statistics/2
55 statistics/0,
56 statistics/1,
57 statistics/2,
175 %do_get_flag(statistics, mode, _) :- getval(mode, on). % must be first
176 %do_get_flag(statistics, X, _) :- getval(statistics, X).
470 do_set_flag(statistics, _X, _) :- !,
646 % statistics(+Name, ?Value)
651 statistics(Name, Value) :-
655 statistics(Name, Value) :-
659 statistics(Name, Value) :-
661 error(Err, statistics(Name, Value)).
720 statistics :-
721 statistics(log_output).
723 statistics(Stream) :-
729 statistics(Stream) :-
957 statistics/0.