NaiveSubset

naiveSubset(+Args, +Forced, +In, -Set): the maximal conflict-free subsets of Args including Forced, each once: every argument of Args left out either attacks itself or conflicts with an argument of Set or In (already IN). An argument left out that no later argument can conflict with prunes the search.