分支警告PROLOG中的单例变量

时间:2015-08-26 23:44:11

标签: prolog

我必须在Prolog中做一个家谱树,我的代码可以工作,但我一直在分支中得到警告Singleton变量:X,请帮我纠正我的代码,我知道我必须改变变量X的名称但是仍然得到错误,我怎么能正确地做到这一点?感谢。

hombre('nicanor_ulloa').
hombre('jose_arcadio_buendia').
hombre('jose_arcadio').
hombre('aureliano1').
hombre('arcadio').
hombre('aureliano_jose').
hombre('aurelianos17').
hombre('fernando_del_carpio').
hombre('jose_arcadio_segundo').
hombre('aureliano_segundo').
hombre('gaston').
hombre('jose_arcadio_nieto').
hombre('mauricio_babilonia').
hombre('aureliano_babilonia').
hombre('aureliano2').
mujer('rebeca_montiel').
mujer('ursula_iguaran').
mujer('rebeca')
...
...
...
padre(A,B):-
   hombre(A),desciende(B,A).

madre(A,B):-
   mujer(A),desciende(B,A).

diferente(A,B):-
   A\==B.

hijo(A,B):-
   hombre(A),madre(B,A);padre(B,A).

hija(A,B):-
   mujer(A),madre(B,A);padre(B,A).

hermano(A,B):-
   hombre(A),diferente(A,B), padre(X,A); madre(X,B).

hermana(A,B):-
   mujer(A),diferente(A,B), padre(X,A); madre(X,B).

tio(A,B):-
   hombre(A), hermano(X,A);hermana(X,A), padre(X,A);madre(X,B).

tia(A,B):-
   mujer(A), hermano(X,A);hermana(X,A), padre(X,A);madre(X,B).

primos(A,B):-
   hombre(A);mujer(A),tio(X,B);tia(X,B),desciende(A,X).

abuelo(A,B):-
   hombre(A), desciende(X,A), desciende(B,X).      

abuela(A,B):-
   mujer(A), desciende(X,A), desciende(B,X).  

cuñados(A,B):-
   mujer(A);hombre(A), hermano(X,A);hermana(X,A), esposos(B,X).

0 个答案:

没有答案