SLC2015: Programación Prolog (1).
En la sesión de hoy del Seminario de lógica computacional hemos pasado del sistema deductivo de Prolog a las extensiones de Prolog como lenguaje de programación. En concreto, se ha explicado:
En la sesión de hoy del Seminario de lógica computacional hemos pasado del sistema deductivo de Prolog a las extensiones de Prolog como lenguaje de programación. En concreto, se ha explicado: