Paper: Processing Language With Logical Types And Active Constraints

ACL ID E91-1011
Title Processing Language With Logical Types And Active Constraints
Venue Annual Meeting of The European Chapter of The Association of Computational Linguistics
Session Main Conference
Year 1991
Authors
  • Patrick Saint-Dizier (Institute of Research in Informatics Toulouse, Toulouse France; University of Toulouse 3, Toulouse France)

In this document, we present a language which associates type construction principles to constraint logic programming. We show that it is very appropriate for language processing, providing more uniform, expressive and efficient tools and treatments. We introduce three kinds of constraints, that we exemplify by motivational examples. Finally, we give the procedural semantics of our language, combining type construction with SLD- resolution.