我必须在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).