Emergent parsing and generation with generalized chart

A new, flexible inference method for Horn logic program is proposed. It is also a drastic generalization of chart parsing, partial instantiation of clauses in a program roughly corresponding to ares in a chart. Chartlike parsing and semantic-head-driven generation emerge from this method. With a parsimouious instantiation scheme for ambiguity packing, the parsing complexity reduces to that of standard chart-based algorithms.