Home Page of José A. Riaza

Blog

See all posts »

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 »
Prolog — Estructuras de datos incompletas

2017/08/15

Las estructuras de datos incompletas proporcionan una técnica de programación propia de Prolog que permite incrementar la eficiencia de los programas lógicos y simplificar su diseño. Estas estructuras se apoyan en el uso de variables lógicas para representar huecos, los cuales simbolizan partes de las estructuras que todavía no han sido computadas. La estructura incompleta más utilizada es la lista diferencia.

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