[英]Swapping list prefix and suffix in Prolog
我想制作一个交换列表后缀和前缀的程序。 这是预期的结果。
?- swap([a,b,c,d,e],[c,d],Xs).
Xs = [e,c,d,a,b] ;
false.
我正在尝试使用带有累加器前缀的4元组谓词来解决它。
swapPrefixSuffix(L, SL, R) :-
swapPrefixSuffix(SL, L, R, Prefix).
swapPrefixSuffix(SL, L, R, []) :-
append(SL,[_|_], L),
Prefix = [],
append(SL,Prefix,R).
swapPrefixSuffix(SL, [A|L], R, [A|Prefix]) :-
swapPrefixSuffix(SL, L, R, Prefix).
这是我到目前为止所拥有的...
无需编写递归代码-使用预定义谓词append/3
和same_length/2
!
:- use_module(library(lists),[append/3,same_length/2]). swap(XYZ,Y,ZYX) :- same_length(XYZ,ZYX), append(X,YZ,XYZ), append(Y,Z,YZ), append(Z,Y,ZY), append(ZY,X,ZYX).
使用SICStus Prolog 4.3.2的示例查询:
?- swap([a,b,c,d,e],[c,d],Xs). Xs = [e,c,d,a,b] % as given by the OP ; false. ?- swap(Xs,[c,d],[e,c,d,a,b]). Xs = [a,b,c,d,e] % works in the "other direction", too! ; false.
如何进行更一般的查询?
?- XYZ=[_,_,_|_], Y=[_], swap(XYZ,Y,ZYX). XYZ = [_A,_B,_C] , Y = [_A], ZYX = [_B,_C,_A] ; XYZ = [_A,_B,_C] , Y = [_B], ZYX = [_C,_B,_A] ; XYZ = [_A,_B,_C] , Y = [_C], ZYX = [_C,_A,_B] ; XYZ = [_A,_B,_C,_D], Y = [_A], ZYX = [_B,_C,_D,_A] ; XYZ = [_A,_B,_C,_D], Y = [_B], ZYX = [_C,_D,_B,_A] ; XYZ = [_A,_B,_C,_D], Y = [_C], ZYX = [_D,_C,_A,_B] ; XYZ = [_A,_B,_C,_D], Y = [_D], ZYX = [_D,_A,_B,_C] ...
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.