使用Prolog查找在特定公司工作的员工列表

使用setof谓词，我们希望获得ibm员工的列表。 编写此查询：

employee (tom, shopify).
employee (eva, shopify).
employee (eva, ibm).
employee (sam, cisco).
employee (sam, bridgehead).
employee (jeff, ibm).

---

根据我的理解，[setof/3]（）与[bagof/3]（）相同，但返回一个排序集

? - setof (????)

L = [eva, jeff]

---

有什么问题？您知道如何编写查询以获取单个ibm worker吗？您知道如何使用

setof

？

?- setof(X, employee(X, ibm), L).