在Prolog中将列表拆分为两个长度相等的列表 [英] Splitting a list into two lists equal in length in Prolog

问题描述

我正在 Prolog 中编写一个谓词，将一个列表分成两个长度相等的列表.例如:

I am writing a predicate in Prolog to divide a list into two equal in length lists. For example :

div([1,2,3,4] , X , Y).
X = [1,2].
Y = [3,4].

这是我的代码，但它不起作用:

That's my code but it's not working :

div(L , L1 , L):- length(L) == length(L1).
div([ H | T ] , [ H | T1] , L2):- div(T , T1 , L2).

推荐答案

可能只是:

div(L, A, B) :-
    append(A, B, L),
    length(A, N),
    length(B, N).

读作附加列表 A 和列表 B 导致原始列表 L，A 的长度是某个值 N，B 的长度也是相同的值 N".

Read as "appending list A and list B results in original list L, length of A is some value N and also length of B is the same value N".

这篇关于在Prolog中将列表拆分为两个长度相等的列表的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！