Sistema experto

Solo disponible en BuenasTareas
  • Páginas : 3 (750 palabras )
  • Descarga(s) : 0
  • Publicado : 9 de diciembre de 2010
Leer documento completo
Vista previa del texto
INFORME
ARBOL GENEALOGICO:

MARIA

ROSA

JOSE

PEDRO

CARMEN

GINA

ROBERTO

JUANA

YANINA

IRMA

ANGEL

JULIA

ANA

LUIS

GONZALO

LINDA

SILVIA

JAIMECODIGO DEL PROGRAMA arbolg.pl:
%================================================ % ESPECIFICACION DE HECHOS %================================================ proge(rosa, roberto). proge(rosa, juana).proge(jose, roberto). proge(jose, juana). proge(pedro, irma). proge(carmen, irma). proge(pedro, yanina). proge(carmen, yanina). proge(roberto, ana). proge(roberto, luis). proge(irma, luis). proge(ana,jaime). proge(juana, gonzalo). proge(maria,carmen). proge(maria,gina).

proge(gina,julia). proge(julia,silvia). proge(irma,linda). proge(angel,linda). varon(jose). varon(pedro). varon(roberto).varon(luis). varon(gonzalo). varon(jaime). varon(angel). mujer(rosa). mujer(yanina). mujer(carmen). mujer(juana). mujer(irma). mujer(ana). mujer(maria). mujer(gina). mujer(silvia). mujer(julia).mujer(linda). %================================================ % ESPECIFICACION DE REGLAS %================================================ padre(X,Y) :- proge(X,Y),varon(X). madre(X,Y) :-proge(X,Y),mujer(X). hijo(X,Y) :- proge(Y,X),varon(X). hija(X,Y) :- proge(Y,X),mujer(X). abuelo(X,Y) :- padre(X,Z),proge(Z,Y). abuela(X,Y) :- madre(X,Z),proge(Z,Y). bisabuela(X,Y) :-madre(X,Z),abuelo(Z,Y).bisabuela(X,Y) :-madre(X,Z),abuela(Z,Y). bisabuelo(X,Y) :-padre(X,Z),abuelo(Z,Y). bisabuelo(X,Y) :-padre(X,Z),abuela(Z,Y). nieto(X,Y) :- proge(Y,Z),proge(Z,X),varon(X). nieto(X,Y) :- abuelo(Y,X),varon(X).nieto(X,Y) :- abuela(Y,X),varon(X).

nieta(X,Y) :- abuelo(Y,X),mujer(X). nieta(X,Y) :- abuela(Y,X),mujer(X). bisnieto(X,Y) bisnieto(X,Y) bisnieta(X,Y) bisnieta(X,Y) :- bisabuelo(Y,X),varon(X). :-bisabuela(Y,X),varon(X). :- bisabuelo(Y,X),mujer(X). :- bisabuela(Y,X),mujer(X).

mismo(X,X). diferente(X,Y) :- not(mismo(X,Y)). hermanos(X,Y) :- proge(Z,X),proge(Z,Y),diferente(X,Y). tio(X,Y) :-...
tracking img