tech,5-1-P83-1021,ak | exploring the relationship between <term> | parsing | </term> and <term> deduction </term> , a new | #14795 By exploring the relationship betweenparsing 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. |