使用我的知识库的新行重复规则

Question

我遇到了问题，我有以下代码：

aux(O,LD,LF):-
   line(Id,LE),
   aux(O,LD,Id,1,LE,_,[],LAF),
   LF = (LAF,LE). 

我希望如果LAF是一个空列表，那就得到我的下一个事实

line(...)

我的知识库。我试过这个：

aux(O,LD,LF):-
   line(Id,LE),
   aux(O,LD,Id,1,LE,_,[],LAF),
   (LAF==[],false),
   LF = (LAF,LE).

不应该将条件错误重复下一行的过程吗？