predicate_logic