2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/151006A new, flexible inference method for Horn logic program is proposed, which is a drastic generalization of chart parsing, partial instantiations of clauses in a program roughly corresponding to arcs in a chart. Chart-like parsing and semantic-head-driven generation emerge from this method. With a parsimonious instantiation scheme for ambiguity packing, the parsing complexity reduces to that of standard chart-based algorithms.11 pages. To appear in COLING-94. LaTeX source. psfig-scale.tex, a4wide.sty, and fullname.sty neededComputation and Languagetext