Prolog - То же самое работает, но без findall

Question

Кто-нибудь знает, как я могу реализовать Я предикат, делая то, что делает этот, но без «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). 

Answer 1

Я мало знаю о 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, где вы можете указать цель и переменную или термин, который будет содержать экземпляр, который будет накапливаться, то вы не сможете использовать какую-то нелогичную глобальную переменную. После нахождения следующего значения вы добавляете его к тому, что хранилось в глобальной переменной, и вызывают обратное отслеживание. Если генерация следующего значения не выполняется, вы извлекаете содержимое глобальной переменной и возвращаете ее.