Predicate provides a simple class and processors to encode and manipulate (tuple) predicates
Bernard Lambeau
MIT