Manejo de conocimiento logica de predicados clima(martes,lluvioso) ave(gaviota) --------------------------------------prolog "lenprog de proposito especifico" -------------------------------------predicates clauses arriba_de(b,a) /*bloque b encima

de a*/ arriba_de(a,mesa) /*bloque a encima de mesa arriba_de(c,mesa) arriba_de(d,mesa) libre(b) libre(c) libre(d) goal es una consulta ----------------------------------goal arriva(b,a) b esta arriba de a? ---------------------------------------------------------las busquedas se realizan desde el primer codigo hacia abajo letras minusculas son valores asignados mayus son variables X>> mesa encuentra y X toma el valor de a la primera busqueda ____________________________________________ no es interesadebajo_de(mesa,a) REGLA DE PREDICADOS >> IF P THEN Q >> Q : - P si p es verda entonces q es verda

debajo_de(X,Y):-arriba_de(Y,X) es debajo de, siempre en cuando se encuentre arriba de ejem. goal debajo_de(mesa,d) deabajo_de(Q,c).. busca la sintaxis arriba_de(c,....) q tiene algun valor debajo de c