Prolog bagof、setof、findall述語

Question

bagof,setofを使用して、Prologで3つ以上の属性を持つデータベースファクトをクエリする方法を教えてください。一例として、定義されたデータベースstudents(name, grade,sport,gender)があります。私は特定のスポーツをする学生のリスト、クリケットを見つけたいと思います。そして、あなたはそれらのものとしてatheletic学生を記述する述語を定義することができ

student(lepo,6,none,male). 
student(ayanda,3,none,female). 

：私の現在のクエリ

sport_list(L):- 
     bagof(S,N^G^D^students(N,G,S,D),L), 
      S = cricket. 

student(patash,5,rugby,male). 
student(naomi,3,netball,female). 
student(lepo,6,_,male). 
student(diamal,4,cricket,male). 
student(bonga,5,chess,female). 
student(imi,6,cricket,male). 
student(ayanda,3,_,female). 

Answer 1

あなたは3番目の引数は代わり_のunathletic学生のためのnoneであるように、あなたの知識ベースをモデル化することができ誰がスポーツとしてnoneを持っていない：

athletic(S) :- 
    dif(X,none), 
    student(S,_,X,_). 

その後、単一の目標にアスレチック/ 1を使用します

?- sport_list(L). 
L = [patash,naomi,diamal,bonga,imi]