Prolog 问题 - 如何生成给定长度的子列表

Question

我想生成给定列表的所有子列表，具有给定的属性，它们具有作为参数提到的一定长度，并且它们还具有作为参数传递的给定元素作为包含元素。我已经设法做到了这一点，但在两个谓词的帮助下，并且在最优性方面非常慢：

sublist([], []).
sublist([A|T], [A|L]):-
    sublist(T, L).
sublist(T, [_|L]):-
    sublist(T, L).

choose(T, L):-
    sublist(T, L),
    (dimension(2, T); dimension(1, T)),
    belongs(f, T).

在这里我想通过 choose 的 T 参数返回> 谓词 L 列表中维度为 2 或 1 并且包含 f 元素的所有子列表。
谓词dimension和member与预定义谓词length分别具有相同的用法member。< br>
您能否告诉我如何将这两个条件合并到 sublist 谓词中，以便程序仅构建那些特定的子列表？

Answer 1

以下构建长度的子序列 MinLen =<伦=<最大长度。我不知道你为什么重命名 length 和 member，所以我将使用原来的。 sublist/4 调用您的sublist/2。

sublist(Sub,List,MinLen,MaxLen) :-
    between(MinLen,MaxLen,Len),
    length(Sub,Len),
    sublist(Sub,List).

请注意，length 是在两个变量上调用的，因此您将获得迭代加深搜索。 choose/2 现在可以定义为

choose(Sub,List) :-
    sublist(Sub,List,1,2),
    member(f,Sub).

这是干净的解决方案。如果不够快，则将所有条件合并到一个谓词中：

choose(Sub,List),
    (Sub = [f] ; Sub = [f,_] ; Sub = [_,f]),
    sublist(Sub,List).