Pailon

Solo disponible en BuenasTareas
  • Páginas : 2 (452 palabras )
  • Descarga(s) : 0
  • Publicado : 24 de febrero de 2012
Leer documento completo
Vista previa del texto
Reglas.
Las reglas se usan en PROLOG para significar que un hecho depende de uno o más hechos.
Una regla consiste en una cabeza y un cuerpo, unidos por el signo ":-".
La cabeza está formadapor un único hecho.
El cuerpo puede ser uno o más hechos (conjunción de hechos), separados por una coma (",")
Las reglas finalizan con un punto (".").
La cabeza en una regla PROLOG se deberealizar con cierta lógica, Esto puede conducir a errores de representación.
Ejemplo:
Tiempo (lluvioso) ----> suelo(mojado)
Suelo (mojado)
Que el suelo este mojado, es una condición que supone queel tiempo
sea lluvioso, pero no necesariamente. Por eso, a partir de eso, no se puede deducir mediante la metodos normales.Puede no estar lloviendo pueden haberregado las calles.

Larepresentación correcta en PROLOG, sería:

Suelo (mojado):- tiempo(lluvioso). Suelo (mojado).
Los terminos se colocan al revez para evitar errores de logica



El Mundo Cerrado de PROLOG.
Esto noshabla de que siempre que la “máquina PROLOG” no puede inferir algo considera que ese algo es falso. Esta asunción del mundo cerrado se puede también formular diciendo “el programa en PROLOG incluyetodo el conocimiento necesario para inferir todo lo que es verdadero; por tanto, si algo no puede inferirse es que es falso”.
TIPOS DE DATOS.

El sistema PROLOG reconoce el tipo de un objeto en elprograma por medio de su forma sintáctica. Esto es posible porque la sintaxis de PROLOG especifica diferentes formas para cada tipo de datos. La forma de distinguir entre átomos y variables es quelas variables empiezan con letras mayúsculas, mientras que los átomos con minúsculas. No existe información adicional para comunicarle a PROLOG el orden para reconocer el tipo de un objeto.
13OPERADORES ARITMETICOS Y RELACIONALES.
Los operadores de PROLOG están divididos en dos clases: aritméticos y relacionales.
Los operadores aritméticos:
incluyen los símbolos para suma, resta,...
tracking img