История изменений

suit плохо хардкодить

Немного не понял, что ты тут подразумеваешь. Там хардкодится только количество, т.е. мы говорим, что данные пять карт являются перестановкой любых четырёх карт указанной значимости плюс ещё какая угодно одна карта.

four_of_a_kind(Cards,F) :-
     permutation([
		c(F, _),
		c(F, _),
		c(F, _),
		c(F, _),
		_
	], Cards).

suit плохо хардкодить

Немного не понял, что ты тут подразумеваешь. Там хардкодится только количество, т.е. мы говорим, что данные пять карт являются перестановкой любых четырёх карт указанной масти плюс ещё какая угодно одна карта.

four_of_a_kind(Cards,F) :-
     permutation([
		c(F, _),
		c(F, _),
		c(F, _),
		c(F, _),
		_
	], Cards).

suit плохо хардкодить

Немного не понял, что ты тут подразумеваешь. Там хардкодится только количество, т.е. мы говорим, что данные пять карт являются перестановкой любых четырёх карт указанной масти плюс ещё какая угодно одна карта. Но вообще решение лучше я уже кинул выше.