C/3

Synopsis

'C'(+-List1, +-Terminal, +-List2)

In a grammar rule: Terminal connectsList1 and List2. It is defined by the clause 'C'([T|S], T, S).

Arguments

List1 term

List2 term

Terminal term

Description

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.

Examples

     | ?- 'C'([the, slithy, toves, did, grob], Head, Tail).
     
     Head = the,
     Tail = [slithy,toves,did,grob] ;
     
     no
     

See examples in ref-gru-tra.

See Also