2021-04-11 05:24:33 (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=0ms, Wt=3ms at most 0 inferences for useful informations.
% NTI summary: 2 cases unresolved, 0 predicates have been ignored: []

p(A)terminates_if false.
    % all cases unresolved.
    %  NTI took    0ms, 0i,100i

Analyzed program:

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