Curso Maestro de Prolog: de Cero a Experto

En esta clase estudiamos los hechos en Prolog.

Estudiamos las preguntas que se realizan sobre un conjunto de hechos en Prolog.

Repasamos las preguntas en Prolog. En concreto preguntas formadas por subpreguntas.

Explicamos un ejemplo extra sobre las Preguntas en Prolog.

Enunciamos el primer ejercicio de Prolog.

Resolvemos el ejercicio 1.1 de prolog.

Planteamos el enunciado del problema 1.2 del curso.

Resolvemos el ejercicio 1.2 de Prolog.

Estudiamos el concepto de regla y su estructura.

Planteamos el enunciado del problema 1.3 de Prolog.

Resolvemos el problema 1.3 de Prolog. ( PARTE 1 )

Resolvemos el problema 1.3 de Prolog. ( PARTE 2 )

Resolvemos el problema 1.3 de Prolog.( PARTE 3 )

Estudiamos los tipos de objetos en Prolog.

Estudiamos las expresiones aritméticas en Prolog.

Estudiamos la comparación de términos y expresiones en Prolog.

Introducimos los fundamentos de las Listas en Prolog.

Estudiamos cómo definir si un elemento es miembro de una Lista en Prolog.

Estudiamos el predicado predefinido append(L1, L2, L3) donde L1 y L2 son dos listas dadas. El predicado append(L1, L2, L3) es verdadero si L3 es la lista de resultados de la concatenación de L1 con L2.

Introducimos el predicado predefino del corte ( ! ) en Prolog.

El corte en Prolog se simboliza con el signo !

Analizamos el predicado predefinido del corte y ideamos una solución eficiente para el ejemplo visto en la clase de introducción.

Estudiamos los usos comunes del predicado del CORTE en Prolog.

Explicamos cómo instalar la consola de Prolog.

Explicamos cómo podemos introducir una base de datos en Prolog.

Así, indicar a Prolog un conjunto de hechos y reglas.

Estudiamos cómo podemos escribir un predicado en Prolog que, dada una lista L, nos devuelva

una variable P , donde P es el producto de los elementos de la lista L.

Estudiamos cómo podemos escribir un predicado en Prolog que, dada dos

listas C1 y C2, nos devuelva el producto escalar P de las dos.

Escribimos un predicado para calcular la unión de dos conjuntos.

Escribimos un predicado para calcular la intersección de dos conjuntos.

Estudiamos cómo podemos escribir un predicado en Prolog que, dada una lista, calcule su último elemento.

Además , explicamos cómo podemos implementar un predicado en Prolog que calcule la lista inversa.

Estudiamos cómo podemos implementar un predicado que nos calcule el elemento N-ésimo de la secuencia de Fibonacci.

Aprendemos cómo podemos implementar un predicado que nos calcule las posibles combinaciones de N tiros de dados para obtener un total de P puntos.

Estudiamos cómo implementar un predicado suma_demas(L), que dada una lista L, devuelve cierto si existe un elemento de la lista que es igual a la suma de todos los demás elementos.

Aprendemos a escribir un predicado suma_ants(L), que dada una lista L, retorna cierto si existe algún elemento X que es igual a la suma de los elementos anteriores a él.

Estudiamos cómo podemos implementar un predicado card(L) que calcule cuántas veces

aparece cada elemento de la Lista L en la misma.

Resolvemos el problema de Ajedrez.

Resolvemos el problema de averiguar si un grafo es 2 coloreabe.