2017-03-16_PLYF_P2

En programación lógica se utilizan varios tipos de operadores, que son

Los operadores relacionales y aritméticos permiten aumentar la semántica en base a

Operador que unifica

Evalúa dos operandos derecha a izquierda, es verdadero si los valores obtenidos son iguales

A las variables de prolog se les llama variables...

Secuencia lineal de objetos

Compuesto de un functor seguido de 0 a N argumentos entre paréntesis y separados por comas

Los nombres de todos los predicados deben empezar con letra

Una regla consta de dos partes

Predicado para calcular la media entre dos números

¿Es posible alterar el árbol de resolución en el lenguaje Prolog?

Realice la relación maximo(+X,+Y, ?Z) que verifique que Z es el máximo de los tres números

Ejercicio 4

Programa el prolog sobre su arbol genealogico, hechos solo padre( , ) o madre( , )

Las reglas de inferencia son usadas en la...

Mencione las 8 reglas de inferencia

Ejemplo de adición

Ejemplo de simplificación

Ejemplo de conjunción

Ejemplo de Modus Ponens

Ejemplo Modus Tollens

Ejemplo silogismo hipotético

Ejemplo silogismo disyuntivo

Aparece gracias a la limitante de la lógica proposicional

Elementos de la sintaxis básica de la logica de predicados

Término sin variables

Expresión más pequeña a la que se le puede asignar un valor de verdad

Representa un hecho en el mundo al cual le es asignado un valor de verdad

Variable que no esta atada a un cuantificador

Sentencia con todas las variables cuantificadas

Para eliminar cuantificadores existenciales se reemplaza la variable por...

Qué es la forma normal de skolem

Proceso de encontrar una sustitución a los parámetros de los predicados

Símbolo de la variable anónima

Tipos de datos (estructuras) admitidos en prolog (4)

Operador cuyo resultado es verdadero si ambos operandos no unifican

Operador utilizado para evaluar expresiones aritméticas y funciones

Operador que significa "es exactamente igual que", no unifica, compara términos sin evaluar expresiones

Asserta

Retract

dynamic