Practica9

UNIVERSIDAD AUTONOMA DE NUEVO LEON
FACULTAD DE INGENIERIA MECANICA y ELECTRICA

ALGEBRA PARA INGENIERÍA
Trabajo:
Practica 9.

Maestra:
Ing. Laura Patricia del Bosque

Nombre: ErnestoArturo Arroyo Castillo
Matricula: 1609668

Hora y salón: v3 – 4200

Fecha: 31 de octubre del 2011

LENGUAJES LOGICOS
un lenguajelógico es un sistema de símbolos que consta de un alfabeto de símbolos básicos (simbolos terminales» se les llama en la teoría de lenguajes) y unas reglas que permiten construir a partir de ellosestructuras simbólicas, cadenas de símbolos que si obedecen a las reglas se llaman sentencias (o wff, well formed formula, cadenas bien formadas).
Estas reglas definen la gramática generativa a laque se le llama , simplemente, gramática del lenguaje. La gramática se expresa formalmente mediante un metalenguaje
PARA QUE SIRVEN
Sirven para facilitar la funcionalidad de los programas yaque le da nombres a las variables y de este modo es más fácil mandarlas llamar cuando se ocupan o son necesarias en un programa o aplicación
EJEMPLO
Es una forma de expresar el lenguaje de unaforma mas precisa.
Por ej.:
Pablo corre y salta.

p: Pablo corre
q: Pablo salta

Y es una conectiva (existen como 6 mas, y en este caso es una conjuncion) y se expresa con un puntito.Por lo tanto p . q

En este ejemplo en prolog se pregunta si a una persona le gusta un auto, si tiene oferta y también si esta en existencia.
predicates 
puede_comprar_auto(symbol,symbol) personas(symbol) 
auto(symbol) 
le_gusta(symbol,symbol) 
tiene_oferta(symbol) 
clauses 
puede_comprar_auto(X,Y):- 
personas(X), 
auto(Y), 
le_gusta(X,Y), 
tiene_oferta(Y). personas(marcos). 
personas(luis). 
auto(ford). 
auto(nissan). 
auto(cherrolet). 
le_gusta(ana,cherrolet). 
le_gusta(luis,ford). 
tiene_oferta(nissan). 
tiene_oferta(ford). 
tiene_oferta(perot).