other,29-1-P83-1021,ak | grammar formalisms </term> based on <term> | unification | </term> , and is the basis of the <term> Earley | #14819 By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained, which encompasses parsing for grammar formalisms based on unification , and is the basis of the Earley Deduction proof procedure for definite clauses. |