prolog

programa 1

Domains
elemento = symbol
Predicates
valioso(elemento)

Clauses
valioso(X):-X=oro.
valioso(plata).
valioso(bronce).
_________________________________

programa 2

Domains
nino = symbol
Predicates
nino(symbol)
juegan(nino,nino)

Clauses
nino(a).
nino(b).
nino(c).
juegan(X,Y):-nino(X),nino(Y),
_________________________________
programa 2a

Domains
 nino = symbol
Predicates
 nino(symbol)
 juegan(nino,nino)

Clauses
 nino(jorge).
 nino(arturo).
 nino(maria).
 juegan(X,Y):-nino(X),nino(Y),X<>Y.
_________________________________

programa 2b

Domains
 nino = symbol
Predicates
 nino(symbol)
 juegan(nino,nino)

Clauses
 nino(jorge).
 nino(arturo).
 nino(maria).
 juegan(X,Y):-nino(X),nino(Y),X >Y.
_________________________________

programa 2c

Domains
 nino = symbol
Predicates
 nino(symbol)
 juegan(nino,nino,nino)

Clauses
 nino(a).
 nino(b).
 nino(c).
 nino(d).
 nino(e).
 nino(f).
 nino(g).
 nino(h).
 juegan(X,Y,Z):-nino(X),nino(Y), nino(Z),X<>Y,Y<>Z,X>Y,Y>Z.
_________________________________

programa 3

Domains
nombre,direccion,telefono=string
edad=integer
Predicates
imprime
persona(nombre,direccion,telefono,edad)
Clauses
imprime:-persona(X,Y,Z,E),
write(X),nl,
write(Y),nl,
write(Z),nl,
write(E),nl,fail.
persona("juan","alabama 1","123",23).
persona("pablo","alabama 2","23123",24).
persona("maria","alabama 3","343123",20).
Goal

imprime.

_________________________________

programa 4


domains
  cosa=symbol

predicates
  animal(cosa)
  vegetal(cosa)
  computadora(cosa)
  come(cosa,cosa)
  feliz(cosa)

clauses
  animal(vaca).
  animal(murcielago).
  animal(iguana).
  vegetal(lechuga).
  vegetal(r bano).
  vegetal(zanahoria).
  computadora(ibm).
  come(vaca,lechuga).
  come(vaca,r bano).
  feliz(vaca) if come(vaca,lechuga).
_________________________________

programa 5

domains
 persona=symbol
predicates
 alto(persona)
goal
 alto(X).
clauses

 alto(juan).

________________________________

programa 6

domains
 persona,actividad=symbol
predicates
 gusta(persona,actividad)
clauses
 gusta(juan,lectura).
 gusta(rosa,deporte).
 gusta(pedro,television).

_______________________________

programa 7

Programación Prolog

Autor:                  prof. alejandro salazar guerrero

Fecha:                  02-feb-12

Objetivo:            definición básica de variables, hechos y relaciones        

_________________________

Domains
                nombre=string
                num=integer
Predicates
                animal(nombre)
vertebrado(nombre)
invertebrado(nombre)
                mamifero(nombre)
                tiene(nombre,nombre)
                depredador(nombre,nombre)
                caza(nombre,nombre)
                patas(nombre,num)
                bipedo(nombre)
       cuadrupedo(nombre)
Clauses
                animal(perro).
                animal(gato).
        animal(pez).
        animal(lagartija).
        animal(leon).
                animal(lobo).
                animal(conejo).
                animal(gallina).
vertebrado(pez).
                vertebrado(anfibio).  
                vertebrado(reptil).      
                vertebrado(ave).
                vertebrado(mamifero).
invertebrado(moluscos).
invertebrado(artropodos).
invertebrado(gusanos).
invertebrado(poriferos).
invertebrado(equinodermos).
invertebrado(medusas).
invertebrado(nombre).
mamifero(alpaca).
mamifero(canido).
mamifero(cerdo).
mamifero(chimpance).
mamifero(coati).
mamifero(comadreja).
mamifero(elefante).
mamifero(elefante).
mamifero(felino).
mamifero(foca).
mamifero(gorila).
mamifero(guepardo).
mamifero(hienas).
mamifero(jaguar).
mamifero(jirafa).
mamifero(koala).
mamifero(leon).
mamifero(leonmarino).
mamifero(llama).
mamifero(mapache).
mamifero(mofeta).
mamifero(morsa).
mamifero(nutria).
mamifero(okapi).
mamifero(orangutan).
mamifero(oso).
mamifero(panda).
mamifero(tigre).          
  caza(lobo,lagartija).
  caza(lobo,gallina).
  caza(lobo,conejo).
  caza(leon,gallina).
  caza(leon,conejo).
  tiene(pez,branquias).
  tiene(pez,escamas).
  tiene(anfibio,pulmones).
  tiene(anfibio,piel).
  tiene(reptil,escamas).
  tiene(reptil,pulmones).
  tiene(ave,pulmones).
  tiene(ave,plumas).
  tiene(mamifero,columna).
  tiene(mamifero,pulmones).
  tiene(mamifero,pelo).
  patas(perro,4).
  patas(gato,4).
 patas(pez,0).
  patas(lagartija,4).
 patas(leon,4).
  patas(lobo,4).
  patas(conejo,4).
  patas(gallina,2).
  patas(cabecera,2).
  depredador(X,Y):-caza(X,Y),animal(X).
  bipedo(X):-patas(X,2), animal(X).
  cuadrupedo(X):-patas(X,4), animal(X).  

referencias:  clasificación de animales

        ______________________________

programa 8

Programación Prolog

Autor:                  prof. alejandro salazar guerrero

Fecha:                  10-feb-14

Objetivo:            definición básica de variables, hechos y relaciones        

____________________________________

domains
                nombre=symbol
predicates
                progenitor(nombre,nombre)
                hombre(nombre)
                mujer(nombre)
                padre(nombre,nombre)
                madre(nombre,nombre)
  hermano(nombre,nombre)
hermana(nombre,nombre)
esposa(nombre,nombre)
esposo(nombre,nombre)
hijo(nombre,nombre)
hija(nombre,nombre)
clauses
                hombre(ricardo).
                hombre(juan).
                hombre(luis).
                mujer(martha).
                mujer(rocio).
                mujer(monica).
                progenitor(martha,juan).
                progenitor(martha,luis).            
progenitor(martha,rocio).        
progenitor(martha,monica).
                progenitor(ricardo,juan).
                progenitor(ricardo,luis).
                progenitor(ricardo,rocio).              
progenitor(ricardo,monica).
                padre(X,Y):-progenitor(X,Y),hombre(X).
                madre(X,Y):-progenitor(X,Y),mujer(X).
       hermano(X,Y):-padre(Z,X),padre(Z,Y), hombre(X), X<>Y.
        hermana(X,Y):-padre(Z,X),padre(Z,Y), mujer(X), X<>Y.
esposa(X,Y):-madre(X,Z), padre(Y,Z), mujer(X).
esposo(X,Y):-padre(X,Z), madre(Y,Z), hombre(X).
hijo(X,Y):-progenitor(Y,X), hombre(X).
hija(X,Y):-progenitor(Y,X), mujer(X).

___________________________________________

programa 9

Programación Prolog

Autor:                  prof. alejandro salazar guerrero

Fecha:                  02-feb-12

Objetivo:            definición básica de variables, hechos y relaciones        

_____________________________________

domains

lugar = panaderia (nombre_area, numero)

taller(nombre_area, numero, categoria)

nombre, nombre_area, categoria = symbol

numero = integer

predicates

trabaja (nombre, lugar)

clauses

trabaja (juan, panaderia (sucursal, 12))

trabaja (luis, taller (seccion, 97, c))

GOAL : trabaja (Quien, Donde)

Quien = juan, Donde = panaderia (osucursalo, 12)

Quien = luis, Donde = taller (osecciono, 97, oco)

GOAL : trabaje (Quien, taller (En, Nro, Categoria))

Quien = luis, En = seccion,

__________________________________________________
Autor:                  prof. alejandro salazar guerrero

Fecha:                  27-ene-14

Objetivo:            suma dos números     

domains
 num=integer

predicates
 suma(num, num, num)
  A(num)
  B(num)
  C(num)

clauses
  A(0).
  B(0).
  C(0).
 suma(A,B,C):- C=A+B.