Prolog lecture notes, p18: The last example for lists written in dot notation is (.(a,.(b,[])),.(c,[])) The notes claim that this is not a proper list but to me it seems that it's a list of two elements: (1) .(a,.(b,[])) is the head of the list (2) .(c,[]) is the tail of the list, ie a list of 1 element, c. Have I missed out something or is it a real mistake in the notes? Thanks Moritz