Text this: Set-like operations on propositional logic programs