setof создает много списков вместо одного пролога списка

У меня есть функция, которую я создал с помощью пролога, и по какой-то причине она всегда создает несколько списков для каждого элемента вместо одного списка, может ли кто-нибудь помочь мне с этим?

вот что я написал: (проблема в том, что последняя функция создает много списков)

father(_father,_child) :- parent(_father,_child), gender(_father,male).
mother(_mother,_child) :- parent(_mother,_child), gender(_mother,female).

couple(_woman,_man):- gender(_woman,female),gender(_man,male),parent(_man,_child),parent(_woman,_child).

parents(_woman,_man,_child) :- father(_man,_child),mother(_woman,_child).
count([],0).
count([H|T],N) :- count(T,N1) , N is N1+1.

child_to_couple(_woman,_man,_num):- couple(_woman,_man),findall(_child,parents(_woman,_man,_child),_childs),count(_childs,_num).

num_of_childs(_list):- couple(_woman,_man),setof(childrens(_man,_woman,_num),child_to_couple(_woman,_man,_num),_list).

пример данных:

gender(sagi,male).
gender(limor,female).
gender(yuval,male).
gender(gilad,male).
gender(shahaf,male).
gender(yaara,female).
parent(eyal,noam).
parent(shiri,yuval2).
parent(eyal,yuval2).
parent(shiri,yonatan).
parent(eyal,yonatan).
parent(shahaf,gan).
parent(yaara,gan).

но когда я бегу

 ?- num_of_childs(_x).

Я получил:

_x = [childrens(mordechai, miriam, 1)] ;
_x = [childrens(salax, naima, 1)] ;
_x = [childrens(eli, bella, 2)] ;
_x = [childrens(eli, bella, 2)] ;
_x = [childrens(zvi, tova, 1)] ;
_x = [childrens(avram, yokeved, 1)] ;
_x = [childrens(haim, irit, 3)] ;
_x = [childrens(haim, irit, 3)] ;
_x = [childrens(haim, irit, 3)] ;
_x = [childrens(guy, pelit, 2)] ;
_x = [childrens(guy, pelit, 2)] ;
_x = [childrens(eyal, shiri, 3)] ;
_x = [childrens(eyal, shiri, 3)] ;
_x = [childrens(eyal, shiri, 3)] ;
_x = [childrens(sagi, limor, 2)] ;
_x = [childrens(sagi, limor, 2)] ;
_x = [childrens(shahaf, yaara, 1)] ;

вместо:

_x = [childrens(sagi, limor, 2),childrens(sagi, limor, 2),childrens(shahaf, yaara, 1),..........etc]

list prolog prolog-setof
person secret    schedule 28.12.2017    source источник
comment
Почему все анонимные переменные?   -  person lurker    schedule 28.12.2017

Ответы (1)


arrow_upward
3
arrow_downward

Ваш num_of_childs/1 вызывает couple/2 раньше, чем setof/3, поэтому вы получаете количество результатов, возвращаемых couple/2. Поскольку child_to_couple/3 также вызывает couple/2, на самом деле он здесь вообще не нужен.

num_of_childs(L) :- findall(childrens(M,W,N),child_to_couple(W,M,N),L).

Но большая проблема в том, что couple/2 в том виде, в каком вы его написали, всегда выполняется один раз для каждого ребенка. Это распространяется вверх, так что child_to_couple/2 и num_of_childs/1 также успешны несколько раз.

Если вы измените на это

couple(W,M):-
 gender(W,female), gender(M,male),
 ( parent(M,C), parent(W,C) -> true ; false ).

Вы получаете только один результат на пару, независимо от количества детей. У меня есть ощущение, что может быть еще более простой способ сделать это, но я не смог его найти.

?- num_of_childs(L).
L = [childrens(eyal,shiri,2),childrens(shahaf,yaara,1)] ? ;
no

Дополнение: использование разреза было бы немного проще, но и уродливее.

person Tomas By    schedule 28.12.2017