Predicate In Computer Science