0

有谁知道我如何实现我的谓词做这个但没有“findall”？十分感谢。

domains
    oferta =  rebaixat ; normal
    element = string
        list = element*
database
    producte (string, integer, oferta)
predicates
    nondeterm reduced2(list)

clauses

    producte("Enciam",2,rebaixat). 
    producte("Peix",5,normal).
    producte("Llet",1,rebaixat). 
    producte("Formatge",5,normal).

         reduced2(Vals):-
            findall(Val, producte(Val,_,rebaixat),Vals).
Goal
    write("Amb findall"),nl,
    reduced2(List).
4

1 回答 1

0

我对 Visual Prolog 了解不多，但我会尝试给出一个一般性的答案。不过，这取决于您是想findall/3为特定案例还是一般情况下寻找替代品。

在特定情况下，您可以使用累加器。在您的情况下，这将是一个列表，当您找到它们时会将这些值添加到其中。就像是：

acc(In, List) :-
   ... % do something to generate possible next value
   ... % test if value is already in list In
   !,
   Out = [Val|In], % adds to the head, but is faster than using append
   acc(Out, List).
acc(List, List).

即，当您找不到另一个可能的值时，您返回找到的值列表。请注意，如果您必须累积大量值并通过回溯生成下一个可能的值，这可能会很慢。此外，这不会让您生成重复项，因此它不能完全替代findall/3.

如果您想要一个通用的替代品findall/3，您可以在其中指定一个目标和一个将包含要累积的实例的变量或术语，那么您将无法使用某种非逻辑全局变量。找到下一个值后，将其添加到存储在全局变量中的内容中，并导致回溯。如果生成下一个值失败，则检索全局变量的内容并将其返回。

于 2012-01-09T17:47:47.660 回答