我正在尝试将一些数字附加到列表中,这些数字的范围从X
到Y
X 是下限和Y
上限,然后将这些生成的数字保存到列表中。我试过这个:
domains
list=integer*.
predicates
nondeterm generate(integer,integer,list).
nondeterm append(integer,list,list).
clauses
append(X,[],[X]).
generate(0,0,[]).
generate(X,X,[]) :-
write("The Upper And Lower Numbers Are The Same\n").
generate(X,Y,[X|T]) :-
X<=Y,
N=X+1,
A=N+1,
append(N,T,Z),
generate(A,Y,Z).
goal
generate(1,4,Result).
但是当我测试目标时,它给了我“没有解决方案”。我究竟做错了什么?非常感谢您的帮助。