序言效率 : facts unification or list membership?

Question

鉴于这些事实:

pos(a,1).
pos(b,2).
pos(c,3).

我想找到一个角色的位置。例如， pos(b,P) P=2。

将这些事实转换为列表并进行成员资格检查是否更好，如下所示:

member(X/P,[a/1,b/2,c/3])

我认为第一个选项更好，但谁能解释每种方法的优缺点？

注意，这只是一个简单的例子。我将有很多事实，例如 100-1000，并且必须多次进行此检查，例如100k+。

Answer 1

列表意味着线性扫描。 IE。在最坏的情况下，定位元素的时间与列表中元素的数量成正比。但是对于静态谓词的事实，大多数 Prolog 实现在可能的情况下应用所谓的第一个参数索引，在这种情况下，这将允许 Prolog 为您的 pos/2 调用正确的子句。当第一个参数被实例化而不首先尝试(并失败)正确的所有子句之前的所有子句时的谓词。因此，您正在比较线性时间 O(N)、访问恒定时间访问 O(1)。