ddddddddddddddd
I. COMANDOS BÁSICOS DEL ENTORNO SWI-PROLOG (www.swi-prolog.org)
Comando
Explicación
?- halt.
?- edit(‘archivo’).
?- consult(‘archivo’). | [‘archivo’].
?- help. |help(‘ayuda).
?- make.
?- listing.
?- listing(‘predicado’).
?- apropos(‘palabra’).
?- trace.
Sale del entorno Prolog.
Invoca al editor predeterminado.
Consulta el fichero fuente (B.conocimiento).
Solicita ayuda al entorno.
Consulta los ficheros que cambiaron desde la última consulta.
Muestra todos los predicados de la base de conocimiento.
Muestra el predicado especificado.
Buscainformación sobre lo introducido.
Activamos el modo de traza.
II. SINTAXIS GENERAL.
Programa Prolog: Conjunto de predicados/declaraciones (hechos y reglas) representando los conocimientos
queposeemos en un determinado dominio o campo de nuestra competencia.
Comentarios
Predicados
nombre(term1, …, termN).
Constantes Simbólicas
Constantes Numéricas
Variables
Variable Anónima“_”
Estructura (Función)
Antonio C. González C.
/* … */
Términos
Ejemplos: a, x, ‘2’, juan, “camisa” (1ª letra en minúsculas).
Ejemplos: 2, 355, -1
Ejemplos: X, Y, Nombre (1ª letra literal enmayúsculas).
Su valor es indiferente.
Functor(arg1, …, argN).
Aridad=nº Argumentos
Página 1
Guía Básica de Prolog
III. PROCESADOR DE PROLOG
Unificación: Proceso delocalizar patrones que “emparejen” términos.
Instanciación: Asignación temporal de valores a variables para permitir la unificación.
Retroceso: Cuando fracasa la unificación de un predicado vuelta atrásy ensayo de otra unificación.
Procesador de Objetivos: para cada subobjetivo (de izquierda a derecha), llama al procesador de reglas.
Procesador de Reglas: Explora las cláusulas (hechos y reglas)de arriba a bajo buscando unificaciones.
IV. REGLAS Y HECHOS
Hecho
Regla
Predicado( … ).
Consecuente :- Antecedente
Formato de Cláusula de Horn.
Afirmación...
Regístrate para leer el documento completo.