Difference lists and difference bags for logic programming of categorial deduction

Autores: Glyn Morrill , Xavier Lloré
Localización: Procesamiento del lenguaje natural, ISSN 1135-5948, Nº. 17, 1995, págs. 115-129
Idioma: inglés
Enlaces
- Texto completo
Resumen
- We show how difference lists can de use for systematically compiled linear clauses fro 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.