Prolog预定义长度拆分列表报错：div/4过程未定义求助

为什么会报错？ #

1. 内置谓词冲突：大部分Prolog（比如SWI-Prolog）自带了div/3内置函数，用于整数除法运算。你定义的div/4虽参数个数不同，但部分环境会因名称关联导致自定义谓词未被正确加载，因此触发「找不到div/4，仅存在div/3」的错误提示。
2. 逻辑完全偏离需求：你编写的三个div/4子句，核心是强制第二个子列表B的长度为N、N+1或N-1，这和「A长度为预定义N，B为剩余所有元素」的需求完全不符，即便解决加载问题，也无法得到预期结果。
3. 冗余代码：你定义的list_length/2未被任何逻辑调用，属于无效冗余代码。

怎么改？ #

第一步：规避名称冲突 #

将自定义拆分谓词改名，比如改为split_list/4，避开与内置div的命名冲突，这是最直接的解决方式。

第二步：实现正确的拆分逻辑 #

有两种简洁的实现方式：

方式1：递归实现（处理大列表效率更高）

split_list([], [], [], 0).
split_list(Remaining, [], Remaining, 0).
split_list([Head|Tail], [Head|SubA], SubB, N) :-
    N > 0,
    NewN is N - 1,
    split_list(Tail, SubA, SubB, NewN).

方式2：内置谓词组合（代码更简洁）

split_list(Original, SubA, SubB, N) :-
    length(SubA, N),
    append(SubA, SubB, Original).

逻辑说明：先指定SubA的长度为N，再通过append让SubA与SubB拼接成原列表，Prolog会自动匹配出SubA的元素和剩余的SubB。

测试验证 #

使用你给出的测试用例：

?- split_list([44,55,23,86,49,94,30,77], L1, L2, 6).

会得到预期结果：

L1 = [44, 55, 23, 86, 49, 94],
L2 = [30, 77].

内容的提问来源于stack exchange，提问作者Enjee