2021-04-11 10:33:27 (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=36ms, Wt=41ms, GC=4ms. NTI: Rt=4ms, Wt=4ms at most 0 inferences for useful informations.
% NTI summary: 6 cases unresolved, 0 predicates have been ignored: []

kind_of_day(A,B)terminates_if true.
kind_of_weather(A,B)terminates_if true.
proposal(A,B,C)terminates_if false.
    % 2 unresolved: [proposal(b,f,f),proposal(f,f,f)].
    %  NTI took    0ms, 0i,72i
what_to_do_today(A,B,C)terminates_if false.
    % 4 unresolved: [what_to_do_today(b,b,f),what_to_do_today(b,f,f),what_to_do_today(f,b,f),what_to_do_today(f,f,f)].
    %  NTI took    0ms, 0i,74i

% Comparison with termination analyzers
% A termination analyser of identical power would verify
% with the following 4 proofs the 4 inferred conditions:

kind_of_day(f, f).
    % ==> termination proof established
kind_of_weather(f, f).
    % ==> termination proof established
proposal(b, b, b).
    % ==> no proof found
what_to_do_today(b, b, b).
    % ==> no proof found

Tooltip: You can skip this comparison with termination analyzers by selecting "Comp. skipped" above

Analyzed program located at URL http://www.complang.tuwien.ac.at/cti/bench/dppd/advisor:

% Source: http://www.cs.kuleuven.ac.be/~dtai/prototypes/dppd/advisor.html
what_to_do_today( _today, _weather, _program ):-
    kind_of_day( _today, _daykind ),
    kind_of_weather( _weather, _weatherkind ),
    proposal( _daykind, _weatherkind, _program ).

kind_of_day( monday, workday ). 
kind_of_day( thuesday, workday ).
kind_of_day( wednesday, workday ).
kind_of_day( thursday, workday ).
kind_of_day( friday, workday ).
kind_of_day( saturday, weekend ).
kind_of_day( sunday, weekend ).
kind_of_day( eastern, feastday ).
kind_of_day( first_of_may, feastday ).
kind_of_day( christmas, feastday ).
kind_of_day( new_years_day, badday ).
kind_of_day( friday_the_13th, badday ).

kind_of_weather( sunny, nice ).
kind_of_weather( rainy, nasty ).
kind_of_weather( foggy, nasty ).
kind_of_weather( windy, nasty ).

proposal( workday, _, go_to_work ).
proposal( weekend, nice, go_out_to_the_nature ).
proposal( weekend, nice, visit_the_golf_club ).
proposal( weekend, nice, wash_your_car ).
proposal( weekend, nasty, go_out_to_the_town ).
proposal( weekend, nasty, visit_the_bridge_club ).
proposal( weekend, nasty, enjoy_yourself_at_home ).
proposal( weekend, _, it_is_fun_to_learn_Japanese ).
proposal( badday, _, you_had_better_stay_in_bed ).
proposal( feastday, _weather, _program ) :-
    proposal( weekend, _weather, _program ).