如何在Prolog中打印出有限数量的搜索

Question

我有以下数据：

item(one, 50, 40).
item(two, 80, 70).
item(three, 100, 55).
item(four, 50, 45).
item(five, 50, 40).
item(six, 80, 70).
item(seven, 100, 55).
item(eight, 50, 45).

我使用以下命令显示所有值：

findall((A,B,C), item(A,B,C), L).

但是，它显示所有项目。 如果有数百个这样的条目，这可能是一个问题。 如何显示数量有限的商品，在上述情况下为3？

我看到一些关于此的帖子： Prolog：“ findall”用于有限数量的解决方案，并且在Prolog和Prolog中 找到N个目标目标的唯一解决方案 ：“ findall”用于有限数量的解决方案，但我无法将这些适合我的问题。

我正在尝试下面的代码，但它没有占用列表的长度：

head(N):-
    findall((A,B,C), item(A,B,C),L),
    writeln(L),
    writeln("------ 1 ---------"),
    length(L, N),
    writeln(N),
    writeln("------ 2 ---------"),
    head2(L, N, 0).

head2(L, N, M):-
    M < N, 
    nth0(M, L, Item), 
    writeln(Item),
    X is M+1, 
    head2(L, N, X).

输出：

?- head(3).
[ (one,50,40), (two,80,70), (three,100,55), (four,50,45), (five,50,40), (six,80,70), (seven,100,55), (eight,50,45)]
------ 1 ---------
false.

Answer 1

我注意到以下一件事：

head(N) :-
    findall((A,B,C), item(A,B,C),L),
    writeln(L),
    writeln("------ 1 ---------"),
    length(L, N),
    ...

考虑到基本的Prolog的原则：这会成功的前提条件 findall/3产生列表L的长度和 L正是N 。 如果查询head(3) ，并且findall/3生成一个长度不是3的列表，则length(L, N)将失败，并且以下语句（ ... ）将永远不会被调用。 当然，由于失败之前有一个writeln ，因此writeln将执行，并显示结果。

作为一般性评论，您应该尝试将变量用于结果，而不是writeln语句。 writeln非常适合提示用户或跟踪代码的特定部分，但不适用于生成可稍后使用的结果。

替代方法：

find_n_items(MaxCount, Items) :-
    findall((A,B,C), item(A,B,C), AllItems),
    length(AllItems, AllItemsCount),
    ItemsCount is min(AllItemsCount, MaxCount),
    length(Items, ItemsCount),  % Constrain the length of Items
    append(Items, _, AllItems). % Select ItemCount items from front of AllItems

在这里，我们将Result的长度限制为findall/3产生的最小值和所请求的长度限制，并使用append/3从AllResults的前面获取该元素数。

Answer 2

:- dynamic limitcount/1.

maxbacktrack :-
    retract(limitcount(Current)),
    Current > 0,
    Next is Current-1,
    assert(limitcount(Next)).

firstN(N,Pred) :-
    retractall(limitcount(_)),
    asserta(limitcount(N)),
    Pred,
    maxbacktrack.

findN(N,Term,Pred,List) :-
    findall(Term,firstN(N,Pred),List).

例如：

?- findN(3,(A,B,C),item(A,B,C),L).
L = [ (one, 50, 40), (two, 80, 70), (three, 100, 55)].