prolog - 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 计算谓词为真的次数）

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