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...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2001
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23508 |
| Aporte de: |
| Sumario: | 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 guarantee the validity of our conclusions, we rst map our study to a common situated framework, where the e ectiveness of each approach will be examined and, later, compared by running experiments. |
|---|