Integrating lists, multisets, and sets in a logic programming framework.