Исправление runtime, (текущая версия) :
Это «практически» то же самое, что предложенный мною вариант:
flush(Cards, S) :-
maplist(S+\c(_, S)^true, Cards).
Исходная версия runtime, :
Это «практически» то же самое, что предложенный мною вариант:
flush(Cards, S) :-
maplist(X+\c(_, S)^true, Cards).