Hechos: expresan relaciones entre objetos.

Ej: Hecho= "El auto tiene ruedas"

Este hecho consta de 2 objetos ,"auto"y"ruedas",y de 1 relacion llamada "tiene"
En prolog = tiene(coche,ruedas)
*Los nombres de los objetos todo con letras minisculas y la relacion tambien
Reglas: se usan para significar que un hecho depende de uno o mas hechos.
Consiste en una cabeza(Consecuente logico) y un cuerpo(antecedente logico)
Cabeza: esta formada por un unico hecho
Cuerpo: puede ser uno o mas hechos
Incorrecto: (deduciria que como esta mojado entonces llovio, y capaz regaron la calle)
tiempo(lluvioso) ----> suelo(mojado)
suelo(mojado)
Correto: Cabe sealar que la regla esta "al revs". Esto es as por el mecanismo
de deduccin hacia atrs que emplea PROLOG.
suelo(mojado) :- tiempo(lluvioso).
suelo(mojado).
Variables: Representan objetos que el mismo prolog determina.
Ej. cuando preguntamos "Un coche tiene X"
Prolog busca en los hechos cosas que tiene un auto y responderia:
X= ruedas
**Los nombres de las variables comienzan con una letra Mayuscula
**Listas son estructuras comunes en prolog
Terminos:
Terminos simples
Constantes simbolicas y numericas: a x juan 123
Variables: Algo X Hombre
Terminos estructurados
listas
funciones
Elementos de prolog
Predicados: representan propiedades de los ojetos representados por los terminos, o
relaciones entre ellos.
padre(juan, X)
Literales:
<predicado>

not<predicado>

Hechos : predicados sin variables

padre(juan, luis)

Reglas <predicado>:-<literal1>,<literal2>
Consultas
Son respuestas del procesador de prolog
Pueden valor "Si/No" o el valor de la variable
ej: X=auto
Programa = hechos+reglas+consulta