Title:
|
Difference lists and difference bags for logic programming of categorial deduction
|
Author:
|
Llore, F. X.; Morrill, Glyn
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge; Universitat Politècnica de Catalunya. TALP - Centre de Tecnologies i Aplicacions del Llenguatge i la Parla |
Abstract:
|
We show how difference lists can be used for systematically compiled linear clauses for Lambek categorial grammar and its generalisations, in analogy with standard Horn clauses for CF grammar. We also consider use of difference bags for partitioning of linear sequents, and methods for ambiguity and polymorphism. |
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica -Lambeck calculus -Type logical grammar -Linear logic -Logic programming -Constraint propagation |
Rights:
|
|
Document type:
|
Report |
Share:
|
|