how to define predicates in prolog code example

Example: prolog inside predicate

member(?term, ?list)
memberchk(?term, ?list)