count:answer

answer_count(?Var, :Goal, -Count) is det
answer_count(?Var, :Goal, +Max, -Count) is det: Count number of unique answers of Var Goal produces. Enumeration stops if Max solutions have been found, unifying Count to Max.