Prolog集合差分关系

在Prolog中定义集合减法关系：

difference( Set 1, Set 2, SetDifference)

其中所有三个集合都表示为列表。例如：

difference( [a,b,c,d], [b,d,e,f], [a,c])

---

谢谢

这样的函数通常包含在Prolog系统中。这让我觉得这是一个任意的家庭作业，我想知道规则是什么。大概你不能称之为set_difference。你能用会员卡吗？列表是否已排序？该函数是否应在所有模式下工作（+++、++-、-++、++-），并回溯以生成备选答案

如果从头开始做这样一个功能，最好的方法是用英语思考，并进行归纳思考。
如何回答最简单的情况：两个空列表之间的区别是一个空列表。差异（[]、[]、[]）。 如果您添加到其中一个列表中，会怎么样？另一个呢？每个答案都有一个从句

---

除此之外，答案取决于作业规则。

作业？请告诉我们你到目前为止都做了些什么。