'C'/3

Internal predicate used in the expansion of grammar rules.

'C'(List,Head,Tail)

Compatibility: LPA Win-Prolog, other prologs.

?List <list> or <variable>

?Head <term> or <variable>

?Tail <list> or <variable>

Remarks: The predicate 'C'/3 is not normally used directly in user programs, because all it does is match a List to its Head and Tail according to the following definition:

'C'([Head|Tail],Head,Tail).

G.I.S. Prolog uses this predicate for the internal DCG grammar parser, which converts automatically (and incessantly) any "A --> X1,X2,X3..." assertions into DCG grammar parsing rules.