predicate in prolog code example Example: prolog inside predicate member(?term, ?list) memberchk(?term, ?list)