:- set_prolog_flag(flowlog_engine, wam).

ok :-
    sub_string(hello, 1, 3, 1, Sub),
    Sub == ell,

    findall(S, sub_string(ab, _, _, _, S), Ss),
    sort(Ss, U),
    U == ['', a, ab, b].