'C'(+-List1, +-Terminal, +-List2
In a grammar rule: Terminal connectsList1 and
List2. It is defined by the clause
'C'([T|S], T, S).
Analyzes List1 into head and tail, and creates the tail, List2.
'C'/3 is not normally of direct use to the user. If its arguments are
not of the expected form, it simply fails.
| ?- 'C'([the, slithy, toves, did, grob], Head, Tail). Head = the, Tail = [slithy,toves,did,grob] ; no
See examples in ref-gru-tra.