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 hechoCuerpo: 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 simplesConstantes simbolicas y numericas: a x juan 123Variables: Algo X HombreTerminos estructuradoslistasfunciones

Elementos de prologPredicados: representan propiedades de los ojetos representados por los terminos, o relaciones entre ellos.padre(juan, X)Literales: o not

Hechos : predicados sin variablespadre(juan, luis)Reglas :-,ConsultasSon respuestas del procesador de prologPueden valor "Si/No" o el valor de la variableej: X=auto

Programa = hechos+reglas+consulta