Yes. For any _fixed_ $k$, you can enumerate all of the $k$-element subsets in logarithmic space, and check whether each of them is a clique.
Yes. For any _fixed_ $k$, you can enumerate all of the $k$-element subsets in logarithmic space, and check whether each of them is a clique.