1641093 Alejandro Iruegas Ruiz Act#9

Qu es un lenguaje lgico?

Estudia el uso de la lgica para el planteamiento de problemas y el control sobre las reglas de
inferencia para alcanzar la solucin automtica Es aquel tipo de programacin que permite al
software razonar, esto es, hacer razonamientos, por ejemplo, de tipo deductivo o inductivo.

Para qu sirven?

Se utiliza el formalismo de la lgica para representar el conocimiento sobre un problema y para

hacer preguntas que, si se demuestra que se pueden deducir a partir del conocimiento dado en
forma de axiomas y de las reglas de deduccin estipuladas, se vuelven teoremas.

Ejemplos de lenguajes lgicos

domains
marca,color=symbol
precio,kilometraje=real

predicates
vehiculo(marca,precio,color,kilometraje)
automovil(marca,precio,color,kilometraje)
camioneta(marca,precio,color,kilometraje)

clauses
vehiculo(M,P,C,D):-
automovil(M,P,C,D);
camioneta(M,P,C,D).

automovil(ford,400000,blanco,780000).
automovil(nissan,610000,rojo,30000).
camioneta(chevrolet,70000,negro,50000).

-
Que significa ProLog:

PROLOG est orientado a la resolucin de problemas mediante el clculo de

predicados, basado en:
Preguntas a la base de datos.

Pruebas matemticas.

El programa PROLOG especifica cmo debe ser la solucin, en vez de dar el

algoritmo para su resolucin. La solucin se obtiene mediante bsqueda aplicando la
lgica de predicados.
1641093 Alejandro Iruegas Ruiz Act#9

BIBLIOGRAFIA
http://alejandroaveo.blogspot.mx/2010/12/unos-ejemplos-de-prolog-lenguajes.html

https://prezi.com/pdgbcsai_1dt/lenguajes-logicos/

http://lenguajes-logicos.blogspot.mx/