SLC2015

En la sesión de hoy del Seminario de lógica computacional hemos continuado es estudio de las extensiones de Prolog como lenguaje de programación, iniciada en la sesión anterior.. En concreto, se ha explicado:

• El corte, la negación como fallo y el condicional
• Relaciones sobre términos.
• Transformación entre términos, átomos y listas.
• Procedimientos aplicativos.
• Cálculo de todas las soluciones.

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:

• Cómo definir listas.
• Cómo definir relaciones sobre listas.
• Cómo usar disyunciones.
• Cómo definir operadores.
• Cómo trabajar con expresiones aritmética.