Prolog的事實和查詢

Question

我有事實：

studies(it, da).  // IT branch studies the module DA 
studies(it, pm). 
studies(ie, pm). 
studies(it, plc). 
studies(it, se). 
studies(cs, plc). 
studies(cs, da). 
studies(cs, se). 

我需要編寫查詢：

1. 多少科目做CS的學生學習？

2. 哪個分支研究科目pm和plc？

Answer 1

1. aggregate_all(count, studies(cs, X), Count).（見Prolog count the number of times a predicate is true）

2. studies(X, pm), studies(X, plc).