Interpretation is a technique that has been applied to Prolog code for the purposes of mode analysis and determinacy analysis. This paper shows how it may also be used to discover which Prolog objects are lists. One use of such an analysis would be for program verification purposes. A second use would be for optimizing memory allocation, especially if cdr-coding is used to implement lists.