목록 반환 : 프롤로그

Question

모든 여성 목록을 반환하는 조건자를 만들려고합니다. 지금까지 내가 가진 :

female(elisabeth). 
female(queenmother). 
female(diana). 
female(anne). 
female(beatrice). 
female(sarah). 
female(zara). 
female(kate). 

the_royal_females([X|_]). 
the_royal_females([X|_]) :- female(X). 

하지만이 individuly 내가 대신 [elisabeth,queenmother,diana]을 반환받을 수있는 방법

X = elisabeth ; 
X = queenmother ; 
X = diana ; 

처럼 각 여성을 반환?

Answer 1

당신은 findall/3를 사용할 수 있습니다

the_royal_females(Lst):-findall(F,female(F),Lst). 

findall 풋 Lst의 모든 인스턴스 생성을 가능한 모든 방법으로 female(F)을 만족시키면서 F 가져 것이다.