lr,16-2-P85-1015,ak | clause grammars </term> , and these <term> | grammars | </term> can be used in conjunction with | #15806 These discontinuous constituents can be described by a variant of definite clause grammars, and these grammars can be used in conjunction with a proof procedure to create a parser for non-configurational languages. |