PROLOG

PROLOG

1. Constans

   • Objetos o relaciones especificas
     • Atomos
       • Construidos por letras, dígitos y comenzar por minúscula: objetos, hechos y relaciones.
     • Enteros
       • Longitud mínima de un byte. „ Enteros, racionales, etc. se van incorporando en sucesivas versiones

2. Predicates

   • Un predicado es un conjunto de reglas o hechos que comparten un mismo nombre y la misma cantidad de objetos relacionados. Una regla es una conclusión seguida por el signo :- que hace si (SI condicional seguida por una o mas relaciones de condición. Conjunto de predicados
     • Predicados de manejo de intérprete
       • ejemplos
         • delete_file(+file) Borra el fichero especificado.
         • Time (+Goal) Ejecuta Goal y muestra por pantalla el tiempo utilizado, el número de inferencias lógicas realizadas.
     • Operadores de comparación
       • ejemplos
         • X == Y Comprueba si están actualmente asociadas.
         • X < Y comprueba que la primera sea menor a la segunda
     • Control de flujo de ejecución
       • ejemplos
         • False Predicado sin argumentos, que siempre falla.
         • True Predicado sin argumentos que siempre se da por satisfecho.
     • Comprobación de tipos
       • ejemplos
         • compound(X) Comprueba si X es un término compuesto
         • integer(X) Comprueba si X está asociada a un numero entero.
     • Funciones para la depuración de programas
       • ejemplos
         • debug Arranca el depurador
         • nospy(+Pred) Borra el punto espıa situado en el predicado especificado.
     • Entrada/salida estándar
       • ejemplos
         • flush Vuelca la salida de un programa sobre la salida estándar actual
         • get(-Char) Lee de la entrada actual caracteres y unifica Char con el proximo caracter introducido.
     • Entrada/Salida desde archivos
       • ejemplos
         • put(+Stream,+Char) Escribe el caracter Char, en el fichero Stream
         • see(+SrcDest) Abre un fichero para lectura y se sitúa al comienzo del mismo

3. Goal

   • La sección goal nos permite ejecutar los programas de una forma no interactiva, y por tanto, buscara la solución deseada tan pronto como se ejecute el programa.
     • ejemplo
       • animal(X),write(X)

4. operadores

   • `,` es el “y” lógico en prolog
   • `.` es el que determinan cuando finaliza una regla
   • `:-` es el que une la cabeza y el cuerpo de la regla
   • `;` es el que denota disyunción. Conjunciones y disyunciones pueden sólo aparecer en el cuerpo
   • `!` es el que indica a prolog que no considere las clausulas previas en caso de reevaluación

5. Domains

   • En la seccion domains se declaran los argumentos que utilizan los predicados. Si son dominios predefinidos no es necesario declararlos.
     • ejemplo
       • cosa == symbol

6. Clauses

   • Es una disyunción de literales que tienen a lo sumo un literal positivo. tambn representan todo el conocimiento necesario para resolver el problema.
     • Propiedades de objetos
       • ejemplo
     • Objetos
       • ejemplo
     • Relaciones de objetos
       • ejemplo

7. Reglas de inferencia

   • Las reglas de inferencia se pueden definir como la especificación de una relación entre predicados y argumentos que permiten plasmar el hecho de que si la parte derecha del predicado se cumple, se cumple la parte izquierda. El eje lo proporciona el símbolo ":-" que representa para nosotros la implicación lógica (en lógica "® "). Las comas (","), representan el símbolo de conjunción (en lógica "Ù "), y el punto y coma (";"), representa el símbolo de disyunción (en lógica "Ú ").
     • • Ejemplos

8. lógica proposicional

   • es uno de los formalismos más utilizados para representar conocimiento en Inteligencia Artificial. Esta lógica es la que utiliza proposiciones y nexos entre éstas para expresar sus verdades. Las proposiciones equivalen a frases u oraciones del lenguaje hablado, mientras que los nexos a través de los cuales puede relacionar estas proposiciones son la conjunción (y), la disyunción (o) y la implicación (si)

Images and files in the map