PREDICATE LOGIC