Подсчет количества карт красителей прологе

Question

В прологе мы можем получить решение для отображения красящего задачи следующим образом:

different(red, green). different(red, blue). 
different(green, red). different(green, blue). 
different(blue, red). different(blue, green). 

coloring(Alabama, Mississippi, Georgia, Tennessee, Florida) :- 
    different(Mississippi, Tennessee), 
    different(Mississippi, Alabama), 
    different(Alabama, Tennessee), 
    different(Alabama, Mississippi), 
    different(Alabama, Georgia), 
    different(Alabama, Florida), 
    different(Georgia, Florida), 
    different(Georgia, Tennessee). 

?- coloring(Alabama, Mississippi, Georgia, Tennessee, Florida). 
Alabama = blue 
Florida = green 
Georgia = red 
Mississippi = red 
Tennessee = green 

Можно ли подсчитать общее число возможных окрасок карты?

Answer 1

раствора Anders, пожалуйста, обратите внимание, что слово «окраска» должно быть в нижнем регистре, который даст правильный ответ - 6 решений.

aggregate_all(count, coloring(Alabama, Mississippi, Georgia, Tennessee, Florida), Count). 
Count = 6. 

Answer 2

Да. findall/3 будет перечислять все решения, и (по крайней мере, в SWI-Prolog) aggregate_all/3 может быть использован для выполнения счета:

?- aggregate_all(count, Coloring(A,M,G,T,F), Num). 
Num = 4711.