小编bdm*_*yer的帖子

我需要定义除法,以便List [1,2,3,4,5]分为:

a = [1,2,3}

b = [4,5]

我收到的错误是"Arguments are not sufficiently instantiated",我对语言知之甚少,无法弄清楚我的问题是什么,或者我的设计是否正确.任何指导将不胜感激.

所以这就是我到目前为止所拥有的:

append([],L2,L2).
append([H|T],L2,[H|L3]) :- append(T,L2,L3).

lengthIs([],N).
lengthIs([H|T],N) :- lengthIs(T,M), N is M+1.

divide([],[],[]).
divide([H|T],L2,L3) :-
   (  lengthIs(L2, M) < lengthIs(L1,N)/2
   -> divide(T, append(L2, H, X), L3)
   ;  divide(T, L2, append(L3,H,Y))
   ).