Home Page of José A. Riaza

Blog

See all posts »

Prolog — Transformación de programas

2020/04/27

Toda cláusula Prolog es un término Prolog válido, lo cual implica que podemos analizar y procesar código Prolog utilizando predicados y características incorporadas del propio lenguaje, y es especialmente conveniente a la hora de definir transformaciones automáticas de programas. Aunque el estándar ISO Prolog no define ningún mecanismo de transformación de programas tales como la expansión de macros o la compilación condicional, todos los sistemas Prolog ampliamente utilizados proporcionan predicados que permiten reescribir código en tiempo de compilación.

Read more »
Prolog — Gramáticas de cláusulas definidas

2019/04/19

Las gramáticas de cláusulas definidas (DCG's) permiten representar una gramática formal como un conjunto de cláusulas definidas en una lógica de primer orden. Estas DCG's proporcionan a los lenguajes de programación lógicos como Prolog una forma conveniente y efectiva de expresar gramáticas, resultando especialmente útiles en el procesamiento de lenguajes naturales y de lenguajes formales.

Read more »

Projects

Declarative programming
Other projects
Prolog resources

Research

Chapters and Conference Papers
Theses

2019 José Antonio Riaza Valverde | Uses Font Awesome and Bootstrap

github.com/jariazavalverde | twitter.com/jariazavalverde