2021-04-11 05:24:39 (CEST) cTI start

% cTI_lt 0.25 using 23.619 MLIPS SICStus 3.8.5 (x86-linux-glibc2.1): Mon Oct 30 16:34:14 CET 2000.
% cTI: Rt=8ms, Wt=8ms. NTI: Rt=4ms, Wt=1ms at most 72 inferences for useful informations.
% NTI summary:  Complete result is optimal.
p(A)terminates_if false.
    % optimal. loops found: [p(x)]. NTI took    4ms,72i,72i

Analyzed program:

p(X) :- p(s(X)).