Question

我正在尝试从数据库中获取满足我条件的完整列表。

这是我的数据库：

student(1234,[statistics/a,algorithms/b,prolog/a,infi/b]).
student(4321,[java/a,algorithms/a,prolog/b,probability/b,infi/a]).
student(1111,[algorithms/a,prolog/a,c/a,infi/a]).
student(2222,[c/b,algorithms/b,prolog/b,infi/a]).
student(3333,[java/b,algorithms/b,prolog/a,infi/a]).
student(4444,[java/a,c/a,prolog/a]).
student(5555,[java/a,c/a,prolog/b,infi/b]).
student(6666,[java/a,c/a,prolog/b,infi/b,probability/b,algorithms/b]).

我写了一个谓词，查询哪个学生在附加到他的列表中有一个字符串：＆＃34; infi / a＆＃34;

findall(Ns,(student(Id,List),subset([infi/a],List)),L1)

问题是L1没有给我返回如下列表：

L1 = [student(2222,[c/b,algorithms/b,prolog/b,infi/a]),
      student(1111,[algorithms/a,prolog/a,c/a,infi/a]) etc...]

它返回：

L1 = [_G2044, _G2041, _G2038, _G2035].

为什么会发生这种情况，我该如何解决这个问题？

Answer 1

您可能需要查找findall/3谓词的规格，第一个参数是Template （或收益率）：它指定要放入的内容列表。

所以你不应该简单地写X，而是写一个你感兴趣的词。例如：

findall(Id,(student(Id,List),subset([infi/a],List)),L1).

将在其课程列表中生成Id的所有infi/a个学生;或者如果您对student/2对象感兴趣，可以写：

findall(student(Id,List),(student(Id,List),subset([infi/a],List)),L1).

所以通常你使用你在Goal（第二个参数）中指定的变量，如果你的产量中有一个自由变量，它将产生新的自由变量。

findall（X，condition，List）列表中填充了指针而不是真实对象

1 个答案: