We survey the evolution of natural language processing as it relates to Logic Programming, with particular focus on David Scott Warren's crucial contributions such as tabling, and the relationship with hypothetical reasoning and constraint based programming. These topics lead naturally to a view of parsing as constraint solving, which extends to grammar inference. Our exposition of the subject is intuitive and example-driven, with references to more formal presentations when needed.
|Title of host publication||Declarative Logic Programming : Theory, Systems, and Applications|
|Editors||Michael Kifer, Yanhong Annie Liu|
|Number of pages||35|
|Place of Publication||New York|
|Publisher||Association for Computing Machinery|
|Publication status||Published - 2018|
Bibliographical notePublished by Association for Computing Machinery in collaboration with Morgan & Claypool
Christiansen, H., & Dahl, V. (2018). Natural language processing with (tabled and constraint) logic programming. In M. Kifer, & Y. A. Liu (Eds.), Declarative Logic Programming: Theory, Systems, and Applications (pp. 477-511). New York: Association for Computing Machinery.