このディレクトリの索引

% % 成績(尾崎,前期,国語,30). % 成績(尾崎,前期,社会,40). % 成績(山崎,前期,国語,20). % 成績(山崎,前期,社会,50). % 成績(尾崎,後期,国語,50). % 成績(山崎,後期,国語,40). % % 集約合計を得る(_目標,_集約対象項,_集約鍵ならび,_集約項) :- % 鍵となる値ならび(_集約鍵ならび,_目標,_鍵となる値ならび), % 集約する鍵毎に合計を得る(_目標,_集約対象項,_鍵となる値ならび,_集約鍵ならび,_集約値). ?- 集約合計を得る(成績(_名前,_期,_科目,_点数),_点数,[_名前,_期],_集約値). _名前 = 尾崎,_期 = 前期,_集約値 = 70 ; _名前 = 尾崎,_期 = 後期,_集約値 = 50 ; _名前 = 山崎,_期 = 前期,_集約値 = 70 ; _名前 = 山崎,_期 = 後期,_集約値 = 40. ?- 集約合計を得る(成績(_名前,_期,_科目,_点数),_点数,[_名前,_期,_科目],_集約値). _名前 = 尾崎,_期 = 前期,_科目 = 国語,_集約値 = 30 ; _名前 = 尾崎,_期 = 前期,_科目 = 社会,_集約値 = 40 ; _名前 = 尾崎,_期 = 後期,_科目 = 国語,_集約値 = 50 ; _名前 = 山崎,_期 = 前期,_科目 = 国語,_集約値 = 20 ; _名前 = 山崎,_期 = 前期,_科目 = 社会,_集約値 = 50 ; _名前 = 山崎,_期 = 後期,_科目 = 国語,_集約値 = 40. ?- 集約合計を得る(成績(_名前,_期,_科目,_点数),_点数,[_名前],_集約値). _名前 = 尾崎,_集約値 = 120 ; _名前 = 山崎,_集約値 = 110. ?- 集約合計を得る(成績(_名前,_期,_科目,_点数),_点数,[],_集約値). _集約値 = 230. ?-