根据给定索引和元素数量的列表创建子列表。序言

我正在尝试解决一个简单的序言问题，但我无法解决它。从列表中，需要创建一个给定索引 I 的子列表，然后从 I 中创建一个给定为 N 的下一个元素。如果索引大于列表长度，我将使子列表为空。如果 N（元素数量）大于列表中的其余元素，我将获得从 I 到末尾的所有元素。

在这里，我得到了作业的一部分，我可以从索引 I 中得到下一个元素 N。现在我询问作业中的其他部分：

1) When I（索引）比列表长度长，我必须在子列表中获取一个空列表。

?- sublist([a,b,c,d],5,2,L)

L=[]

2) When N（下一个元素）大于我们剩余的元素数量，我需要获取从该位置到末尾的所有元素。

?- sublist([a,b,c,d],4,4,L)

L=[d]      

我已经拥有的代码是下一个，这个正在工作：

sublist([X|_],1,1,[X]).
sublist([],_,_,[]).% I use this one for the case bases
sublist([X|Xs],1,K,[X|Ys]):-
       K>1, 
       K1 is K-1,
       sublist(Xs,1,K1,Ys).
sublist([_|Xs],I,K,Ys):-
       I > 1, 
       I1 is I-1,
       sublist(Xs,I1,K,Ys).

sublist([X|_], 1, 1, [X]).

这是一个很好的条款。它表示从列表中取出一个从 1 开始的长度为 1 的子列表[X|_] is [X].

sublist([X|Xs], 1, K, [X|Ys]) :-
    K > 1, 
    K1 is K - 1,
    sublist(Xs, 1, K1, Ys).

这也是一个很好的条款。它说长度的子列表K从 1 开始取自[X|Xs]以。。开始X并且有一条尾巴Ys这是长度的子列表K-1从第一个列表的尾部开始（Xs) 从 1 开始。

sublist([_|Xs], I, K, Ys) :-
    I > 1, 
    I1 is I - 1,
    K1 is K - 1,
    sublist(Xs, I1, K1, Ys).

这个条款有问题。如果你有一个清单[_|Xs]并想要获取长度的子列表K开始于I (for I大于 1)，则取长度的子列表K-1从它的尾部开始的位置I-1。问题是：为什么子列表现在需要长度K-1?该子句的目的应该是将问题减少到处理起始索引为1，然后让第二个子句处理其余的事情。

然后在您对所需行为的定义中，您有：如果 N（元素数量）大于列表中的其余元素，我将获得从 I 到末尾的所有元素。目前任何条款中都没有这个概念。基本情况当前是您的第一个子句，它特别需要长度为 1 才能生成长度为 1 的列表。您需要另一个基本情况子句来处理第一个列表为空但K可能仍然是任何值：

sublist([], ?, _, ?).

只需填写?与一些合乎逻辑的事情。 :)