:- set_prolog_flag(flowlog_engine, wam).

ok :-
    sort([2, 1, 1], S),
    S == [1, 2],

    msort([2, 1, 1], MS),
    MS == [1, 1, 2],

    keysort([2-b, 1-a, 1-c], KS),
    KS == [1-a, 1-c, 2-b].