Kumite

:- begin_tests(example).
:- include(example).

test(string_lower_tests, [forall(member(Input-Expect, ["X"-"x", "A"-"a"])), Result = Expect]) :-
    string_lower(Input, Result).

:- end_tests(example).