ADDED: CLP(B): sat_count/2, counting the number of true assignments.