删除列表中的所有N个元素

Question

我想编写一个程序，它从列表中删除每个第N个元素，而不是最后一个元素。我的程序已经正常工作，给了我正确的结果，但是当我询问另一个结果时，prolog带有错误“>/2：参数没有充分实例化”。这里是我到目前为止的代码：

delete_elements([],0,[]). 
delete_elements([],_,[_|_]). 
delete_elements(L,N,R) :- 
    length(L,LL), 
    LL > N, 
    nth1(N,L,_,RZ), 
    NZ is N + 1, 
    delete_elements(RZ,NZ,RR), 
    R = RR. 
delete_elements(L,N,R) :- 
    length(L,LL), 
    LL =< N, 
    delete_elements([],_,R), 
    L = R. 

我认为递归的取消条件有问题。如何解决这个问题？

在此先感谢！

Answer 1

的问题是条款中：

delete_elements(L,N,R) :- 
    length(L,LL), 
    LL =< N, 
    delete_elements([],_,R), 
    L = R. 

你已经完成了你的工作，但你还是叫使用匿名变量，而不是你的N.谓词你可以这样写：

delete_elements(L,N,L) :- 
    length(L,LL), 
    LL =< N. 

例：

?- delete_elements([1,2,3,4,5,6,7,8,9,1,2,3],3,L). 
L = [1, 2, 4, 6, 8, 1, 3] ; 
false. 

对于你在你的评论中提出的问题，我的实施将是：

delete_elements(L,N,R) :- delete_elements(L,1,N,R). 

delete_elements([],_,_,[]). 
delete_elements([X],N,N,[X]). 
delete_elements([X|Xs],N,N,Rs):- length([X|Xs],Y),Y>1,delete_elements(Xs,1,N,Rs). 
delete_elements([X|Xs],P,N,[X|Rs]):- P < N,P1 is P+1,delete_elements(Xs,P1,N,Rs).