Dealing with non-termination in DCGs

The objective of this paper is to study a practical approach to deal with non-termination in de nite clause grammars. We focus on two problems, loop and cyclic structure detection and representation, maintaining a tight balance between practical e ciency and operational completeness. In order to gu...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Vilares Ferro, M., Cabrero Souto, D., Alonso Pardo, M.A.
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2001
Materias:	Ciencias Informáticas Control structures Definite Clause Grammars Cyclic Derivations Cyclic Structures
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23508
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Desarrollo de una gramática para aserciones simples en español y su implementación en Prolog
por: Maggiori, Emmanuel
Publicado: (2013)

The structure of CP and IP
Publicado: (2004)

Adverbs and functional heads a cross-linguistic perspective /
por: Cinque, Guglielmo
Publicado: (1999)

Complementation a cross-linguistic typology /
Publicado: (2006)

The future of national development banks
por: Griffith-Jones, Stephany, et al.
Publicado: (2021)

Effect of food shortage on growth, energetic reserves mobilization, and water quality in juveniles of the redclaw crayfish, cherax quadricarinatus, reared in groups
por: Valenti, W.C., et al.

The future of national development banks
por: Griffith-Jones, Stephany, et al.
Publicado: (2021)

Effect of food shortage on growth, energetic reserves mobilization, and water quality in juveniles of the redclaw crayfish, cherax quadricarinatus, reared in groups
Publicado: (2014)

The non-verbal type of small clauses in English and Lithuanian /
por: Giparait�e, Judita
Publicado: (2010)

Pyrolysis-gas chromatography/mass spectrometry applied to the identification of different states of polyaniline
por: Lizarraga, L., et al.

Pyrolysis-gas chromatography/mass spectrometry applied to the identification of different states of polyaniline
por: Lizarraga, Leonardo, et al.
Publicado: (2007)

An electron-rich {RuNO} 6 complex: Trans-[Ru(DMAP) 4(NO)(OH)] 2+ - Structure and reactivity
por: Osa Codesido, N., et al.

An electron-rich {RuNO} 6 complex: Trans-[Ru(DMAP) 4(NO)(OH)] 2+ - Structure and reactivity
Publicado: (2012)

Cyclic homology of K[ℤ/p·ℤ]
por: Cortiñas, G., et al.

Cyclic homology of K[ℤ/p·ℤ]
por: Cortiñas, Guillermo Horacio, et al.
Publicado: (1989)

The grammatical nature of minimal structures : impoverishment of grammatical features in a non-fluent aphasic speaker /
por: Garraffa, Maria
Publicado: (2011)

cAMP levels and in situ measurement of cAMP related enzymes during yeast-to-hyphae transition in Candida albicans
por: Egidy, G., et al.

Acute administration of a permeant analog of cAMP and a phosphodiesterase inhibitor improve long-term habituation in the crab Chasmagnathus
por: Romano, A., et al.

Cyclic homology of algebras with one generator
por: Guccione, J.A., et al.

Acute administration of a permeant analog of cAMP and a phosphodiesterase inhibitor improve long-term habituation in the crab Chasmagnathus
por: Romano, Arturo Gabriel, et al.
Publicado: (1996)

A new derivation of the conformally flat stationary cyclic non-circular spacetimes
por: Ayón-Beato, Eloy, et al.
Publicado: (2007)

Control of Mucor rouxii adenosine 3′:5′-monophosphate phosphodiesterase by phosphorylation-dephosphorylation and proteolysis
por: Moreno, S., et al.

cAMP levels and in situ measurement of cAMP related enzymes during yeast-to-hyphae transition in Candida albicans
por: Egidy, Giorgia Anna Rosa, et al.
Publicado: (1990)

Santa Claus s�i existe /
por: Olivera Figueroa, Rafael
Publicado: (2021)

Variations in the levels of cyclic adenosine 3′:5′-monophosphate and in the activities of adenylate cyclase and cyclic adenosine 3t: ́5′-monophosphate phosphodiesterase during aerobic morphogenesis of Mucor rouxii
por: Cantore, M.L., et al.

Cyclic homology of algebras with one generator
Publicado: (1991)

Two different intrachain cAMP sites in the cAMP‐dependent protein kinase of the dimorphic fungus Mucor rouxii
por: Paveto, C., et al.

Two different intrachain cAMP sites in the cAMP‐dependent protein kinase of the dimorphic fungus Mucor rouxii
por: Paveto, María Cristina, et al.
Publicado: (1989)

Phrase structure and the lexicon /
Publicado: (1996)

Cyclic nucleotide specific phosphodiesterases of the kinetoplastida: A unified nomenclature
por: Kunz, S., et al.

Cyclic nucleotide phosphodiesterase activities in rat erythrocytes
por: Téllez-Iñón, M.T., et al.

cAMP levels and in situ measurement of adenylate cyclase and cAMP phosphodiesterase activities during yeast-to-hyphae transition in the dimorphic fungus Mucor rouxii
por: Cantore, M.L., et al.

Structure of the Argument of Aristotle's Politics I: Description, Definition and Explanation
por: Berrón, Manuel
Publicado: (2023)

Characterization of the catalytic subunit of Trypanosoma cruzi cyclic AMP-dependent protein kinase
por: Ochatt, C.M., et al.

Relationship between cyclic adenosine 3′:5′-monophosphate and germination inCandida albicans
por: Egidy, G.A., et al.

Cyclic homology of Hopf crossed products
por: Carboni, G., et al.
Publicado: (2010)

Cyclic homology of Hopf crossed products
por: Carboni, G., et al.

Cyclic homology of Hopf crossed products
por: Carboni, G., et al.
Publicado: (2010)

Cyclic homology of Hopf crossed products
por: Carboni, Graciela, et al.
Publicado: (2010)

In situ measurement of cAMP related enzymes in the dimorphic fungus Mucor rouxii
por: Maggese, M.C., et al.