- reduced(:Goal)
- reduced(?Witness, :Goal, +Options)
- Similar to distinct/1, but does not guarantee unique results in
return for using a limited amount of memory. Both distinct/1 and
reduced/1 create a table that block duplicate results. For
distinct/1, this table may get arbitrary large. In contrast,
reduced/1 discards the table and starts a new one of the table size
exceeds a specified limit. This filter is useful for reducing the
number of answers when processing large or infinite long tail
distributions. Options:
- size_limit(+Integer)
- Max number of elements kept in the table. Default is 10,000.