Rich logic/relational constructs such as expressions and Datalog.