Natural language processing with (tabled and constraint) logic programming

Henning Christiansen, Verónica Dahl

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review


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.
Original languageEnglish
Title of host publicationDeclarative Logic Programming : Theory, Systems, and Applications
EditorsMichael Kifer, Yanhong Annie Liu
Number of pages35
Place of PublicationNew York
PublisherAssociation for Computing Machinery
Publication date2018
ISBN (Print)978-1-97000-199-0
ISBN (Electronic)978-1-97000-199-0
Publication statusPublished - 2018

Bibliographical note

Published by Association for Computing Machinery in collaboration with Morgan & Claypool

Cite this

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.