Как использовать и внутри мета-предиката findall/3

Question

Как использовать и внутри мета-предиката findall/3

Я хотел бы написать это:

paths( Result ) :-
    findall( B, f(B) , Result ).

f( B ) :-
    f1( B ),
    f2( B ).

только в одной строке. Так что в основном что-то вроде:

paths( Result ) :-
    findall( B, f1(B) AND f2(B), Result ).

Я не знаю, как выразить "И" в постановке цели. Это вообще возможно?

3

prolog prolog-findall

Источник

user844925 17 янв '12 в 02:42

1 ответ

Решение

Другие вопросы по тегам prolog prolog-findall

user1000818 17 янв '12 в 06:06 2012-01-17 06:06 · Accepted Answer · 2012-01-17 06:06

Просто поставьте вокруг него скобки:

paths(Result) :-
    findall(B, (f1(B),f2(B)), Result).

Дополнение: Цели - это просто соединения (и дизъюнкции) подцелей. Вы можете построить их в какой-то момент, а затем передать их, пока они не будут вызваны. Это полезно, если цель должна быть построена динамически:

Goal = (f1(X), (f2(X) ; f3(X))),
findall(X, Goal, Result),