拆分列表在序言，产生两个单独的列表

Question

的问题：

定义谓词拆分/ 4，当设置有列表L和整数N，返回两个列表，A和B，其中A包含以L是大于或等于N和B项包含比N.下的项目

示例查询与预期的结果：

?- split([1, 5, 2, 3, 4], 3, A, B). 
A = [5, 3, 4], 
B = [1, 2]. 

我的代码：

spit([], 0, [], []). 
split([I|Is], N, [A|As], [_B|Bs]):- 
    I >= N, 
    A is I, 
    split(Is, N, As, Bs). 
split([I|Is], N, [_A|As], [B|Bs]):- 
    I < N, 
    B is I, 
    split(Is, N, As, Bs). 

除了产生A，并根据需要B，我的代码只是返回false。我不知道为什么。

Answer 1

接近来正确，但有些小错误。

逐行：

一）

spit([], 0, [], []). 

错字：SPI VS分裂

的规则说 “空列表由0分割为两个空表”，真实，但限制太多，将其更改为“空列表拆分为两个空列表，不管数字”：

split([], _, [], []). 

b）

split([I|Is], N, [A|As], [_B|Bs]):- 
    I >= N, 
    A is I, 
    split(Is, N, As, Bs). 

即使您将其作为_B启动以禁止警告，“B”仍未定义。将其更改为：

split([I|Is], N, [I|As], Bs):- 
    I >= N, 
    split(Is, N, As, Bs). 

C）

split([I|Is], N, [_A|As], [B|Bs]):- 
    I < N, 
    B is I, 
    split(Is, N, As, Bs). 

同以前。

Answer 2

我认为这是家庭作业，因为，与SWI-Prolog的，你有分区/ 4

分区（？：？强的松，+列表，包含，排除）[DET]

根据Pred过滤List的元素。
如果包含，则包含调用（Pred，X） 成功的所有元素，排除包含其余元素。

split(L, N, A, B) :- 
    partition(=<(N), L, A, B). 

Answer 3

作为替代partition/4，与(#=<)/3使用 tpartition/4在一起，就像这样：

?- tpartition(#=<(3),[1,5,2,3,4],As,Bs). 
As = [5,3,4], Bs = [1,2]. 

感谢clpfd和 (#=<)/3，你可以运行很多更多查询一般！

有关详细信息，请参阅my answer至相关问题 “Splitting a list of integers into a list of positive integers and a list of negative integers”。