Sistemas Expertos.clips

8/2/2019 Sistemas Expertos.clips

1/5

INFORME

ARBOL GENEALOGICO:

CODIGO 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).

ROSA JOSE PEDRO CARMEN GINA

MARIA

ROBERTO JUANA

ANA LUIS

JAIME

IRMAYANINA

GONZALO

JULIA

SILVIALINDA

ANGEL


2/5

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).


3/5

nieta(X,Y) :- abuelo(Y,X),mujer(X).

nieta(X,Y) :- abuela(Y,X),mujer(X).

bisnieto(X,Y) :- bisabuelo(Y,X),varon(X).

bisnieto(X,Y) :- bisabuela(Y,X),varon(X).

bisnieta(X,Y) :- bisabuelo(Y,X),mujer(X).

bisnieta(X,Y) :- 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) :- hermanos(X,Z),antepasado(Z,Y),varon(X).

tio(X,Y) :- primohermano(X,Z),antepasado(Z,Y),varon(X).

tia(X,Y) :- hermanos(X,Z),antepasado(Z,Y),mujer(X).tia(X,Y) :- primahermana(X,Z),antepasado(Z,Y),mujer(X).

tioabuelo(X,Y) :-hermanos(X,Z),abuelo(Z,Y),varon(X).

tiaabuela(X,Y) :-hermanos(X,Z),abuela(Z,Y),mujer(X).

sobrino(X,Y) :- tio(Y,X),varon(X).

sobrino(X,Y) :- tia(Y,X),varon(X).

sobrina(X,Y) :- tio(Y,X),mujer(X).

sobrina(X,Y) :- tia(Y,X),mujer(X).

primohermano(X,Y) :- padre(Z,X),tio(Z,Y),varon(X).primohermano(X,Y) :- madre(Z,X),tia(Z,Y),varon(X).

primahermana(X,Y) :- padre(Z,X),tio(Z,Y),mujer(X).

primahermana(X,Y) :- madre(Z,X),tia(Z,Y),mujer(X).

primo(X,Y) :-abuelo(Z,X),tioabuelo(Z,Y),varon(X).

primo(X,Y) :-abuela(Z,X),tiaabuela(Z,Y),varon(X).

prima(X,Y) :-abuela(Z,X),tiaabuela(Z,Y),mujer(X).

prima(X,Y) :-abuelo(Z,X),tioabuelo(Z,Y),mujer(X).

cuado(X,Y) :- proge(Y,Z),proge(W,Z),diferente(Y,W),hermanos(X,W),varon(X).

cuado(Y,X) :- proge(Y,Z),proge(W,Z),diferente(Y,W),hermanos(X,W),varon(Y).

cuada(X,Y) :- proge(Y,Z),proge(W,Z),diferente(Y,W),hermanos(X,W),mujer(X).

cuada(Y,X) :- proge(Y,Z),proge(W,Z),diferente(Y,W),hermanos(X,W),mujer(Y).

suegro(X,Y) :- proge(Y,Z),proge(W,Z),diferente(Y,W),proge(X,W),varon(X).

suegra(X,Y) :- proge(Y,Z),proge(W,Z),diferente(Y,W),proge(X,W),mujer(X).

yerno(X,Y) :- suegro(Y,X),varon(X).

yerno(X,Y) :- suegra(Y,X),varon(X).


4/5

nuera(X,Y) :- suegro(Y,X),mujer(X).

nuera(X,Y) :- suegra(Y,X),mujer(X).

hijastro(X,Y) :- proge(Y,Z),proge(W,Z),diferente(Y,W),proge(W,X),not(proge(Y,X)),varon(X).

hijastra(X,Y) :- proge(Y,Z),proge(W,Z),diferente(Y,W),proge(W,X),not(proge(Y,X)),mujer(X).

hermanastro(X,Y) :- proge(Z,Y),hijastro(X,Z),varon(X).

hermanastra(X,Y) :- proge(Z,Y),hijastro(X,Z),mujer(X).

mediohermana(X,Y) :- proge(Z,Y),proge(Z,X),not(hermanos(X,Y)),mujer(X).

mediohermano(X,Y) :- proge(Z,Y),proge(Z,X),not(hermanos(X,Y)),varon(X).

%RECURSIVIDAD { antepasado(x,y) = x es antepasado de y}

antepasado(X,Y) :- proge(X,Y).

antepasado(X,Y) :- proge(X,Z),antepasado(Z,Y).

PRUEBAS DEL PROGRAMA:


5/5

Sistemas Expertos.clips

Documents

Transcript of Sistemas Expertos.clips