concrete list is not a well defined term. Sorry. You should add lazy list to your list though. A lazy list is a list whose tail is an attributed value and when you unify against the tail the lists gets longer (and will either terminate in [] or in a new attributed variable).
2 Likes