prolog - プロローグは実際に一意の識別子を数えます

Question

事実があります

studies(cse, plc).
studies(cse, da). 
studies(it, se). 
studies(it, plc).  

ここで、 study(x,y) は、ブランチ x がモジュール y を研究することを意味します。ここで、すべてのモジュールの数をカウントするルールを定義したいと思います。このように 3.つまり (plc,da,se).PLZ HELP になります。

CSE の下で勉強する科目の数を見つけるためのクエリは何でしょうか。

Answer 1

質問に SWI-Prolog をタグ付けしたら、library( aggregate )を見てください。

?- aggregate(count, Module, Branch^studies(Branch, Module), N).
N = 3.

library(aggregate) は強力で、それについて学ぶことは本当にやりがいがあります...