Gustavo|
Brown|
gbrown@fing.edu.uy|
INCO|
BLint - Una herramienta de Lint para Prolog escrita en Prolog|
Lint, Prolog, análisis estático, parser|
OTRO|
Proyecto personal de I+D. Mas info en http://www.fing.edu.uy/~gbrown/prolog/blint.html|
BLint - Una herramienta de Lint para Prolog escrita en Prolog

Se denomina herramienta Lint  a una aplicación que  toma como entrada el  código
fuente de  un programa  y luego  de aplicar  un análisis  estático, genera  como
salida un informe de posibles errores de programación. Para el caso del lenguaje
Prolog, este tipo de herramientas es especialmente útil dado que la flexibilidad
que brinda el lenguaje a la hora de implementar un programa hace que en  general
un error de tipeo del programador  termine siendo un código fuente válido  desde
el punto de vista del lenguaje. BLint es una herramienta de Lint implementada en
Prolog  que  analiza  código  fuente   Prolog  para  detectar  los  errores   de
programación más comunes con que  un desarrollador se encuentra. El  parsing que
se  obtiene  del   codigo  fuente  puede   ser  utilizado  como   base  para  la
implementacion de otras herramientas que trabajen con código fuente Prolog, como
puede ser un compilador. El codigo fuente de la herramienta se encuentra 
disponible en http://www.fing.edu.uy/~gbrown/prolog/blint.html|