tech,29-2-P85-1015,ak | proof procedure </term> to create a <term> | parser | </term> for <term> non-configurational languages | #15819 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. |