¿Algún error? ¡Repórtalo aquí!   Follow Star

JARV's blog

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 »

2019 José Antonio Riaza Valverde | Uses Font Awesome, Bootstrap, CodeMirror and Tau Prolog

github.com/jariazavalverde | twitter.com/jariazavalverde