relational logic