Programming in Logic with Constraints for Natural Language Processing

In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISLOG stands for programming in logic with discontinuities and permits to express in a simple, concise and declarative way relations or constraints between non-contiguous elements in a structure. DISLOG is also weel adapted to model other types of linguistic phenomena like Quantifier Raising involving long-distance relations or constraints.

• Type: Conference
• Year: 1989
• Where: EACL
• Authors: Patrick Saint-Dizier
• Keywords: Declarative Way Relations, EACL 1989, Language Called Dislog, Logic-based Computational Model, Natural Language Processing