- proof_count(:Goal, -Count) is det
- proof_count(:Goal, +Max, -Count) is det
- True if Count is the number of times Goal succeeds. Note that
this is not the same as the number of answers. E.g, repeat/0 has
infinite proofs that all have the same -empty- answer
substitution.
- See also
- - answer_count/3