I guess a graph database? Maybe with exclusion operators instead of propositional logic?