predicates in Prolog