prolog 搜索列表

Question

我正在尝试比较列表。给定函数(List1,List2) 和List1 的长度为N，List 2 的长度为M 且N>M。

我想检查 List2 的任何排列是否恰好是 List1 的前 M 个字符。

例如，

predicate([a,c,b,d,e],[a,b,c,d]).

应该是真的和

predicate([a,c,b,e,d],[a,b,c,d]).

应该是假的。

谢谢你。

Answer 1

通常在描述列表之间的关系时，DCG 在这种情况下很方便:

perm_prefix(Ls1, Ls2) :- phrase(perm(Ls2), Ls1, _).

perm([])  --> [].
perm(Ls0) --> [L], { select(L, Ls0, Ls1) }, perm(Ls1).

示例案例:

?- perm_prefix([a,c,b,d,e],[a,b,c,d]).
true

?- perm_prefix([a,c,b,e,d],[a,b,c,d]).
false.