Рекурсия в PROLOG?

Question

Учитывая следующие факты: Пролог

f(a, [b]). 
f(b, [c]). 
f(c, [d]). 
f(d, [e]). 
f(e, []). 

Мне нужно создать запрос xyz(a,Y), так что я получаю Y = [e,d,c,b], так как зависит от Ь, зависящей от с и т.д. Мой текущий запрос:

xyz(X,Y):- 
    f(X,P), 
    member(Y,[P]). 

Однако этот запрос для xyz(a,Y) только дает мне Y = [b], а не иждивенцев б и т.д.

я понял, что, возможно, я могу добавьте эти две строки в конец вышеприведенного запроса, но это не работает так, как мне бы хотелось. Поскольку предыдущий бесплатный запрос успешно извлекает зависимую b, я надеялся, что следующие две строки могут сделать то же самое для b и дальше. Но, я не думаю, что это хороший способ приблизиться к этому, может быть. Возможно, рекурсия - лучшая идея.

f(P,S), 
member(Y,[P]). 

Я уверен, что в конце я должен добавить рекурсию, но я не уверен, как подойти. Может кто-то мне помочь, пожалуйста?

(3/4) Edit:

мне удалось успешно решить проблему списков одноэлементных с @CapelliC захода на посадку ниже. Тем не менее, я хотел бы расширить эту проблему так, что она работает для списков многоэлементных, где факты Пролога выглядеть как:

f(a, [b, d]). 
f(b, [c]). 
f(c, []). 
f(d, [e]). 
f(e, [f]). 
f(f, [g). 
f(g, []). 

В этом случае запрос о xyz(a,X) должен дать мне: X = [b,c,d,e,f,g], в элемент- порядок не обязательно имеет значение, я могу сортировать его после.

Это был предыдущий код, который работает для отдельных списков:

xyz(Z, [X|Y]):- 
    f(Z,[X]), 
    !, 
    xyz(X,Y). 
    xyz(_,[]). 

Согласно @lurker мне нужно включить функцию-член, но у меня возникли проблемы с ним. Это мой текущий подход, но он не работает, а только дает мне пустой список в качестве вывода для всего:

xyz(Z, [X|Y]):- 
    f(Z,X), 
    member(Y,X), // I'm not sure if this should be a 'Y' 
    !, 
    xyz(X,Y). 
    xyz(_,[]). 

Любые идеи?

Answer 1

этот фрагмент получить список в обратном порядке, WRT ваш запрос ...

xyz(K, [D|Ds]) :- f(K, [D]), !, xyz(D, Ds). 
xyz(_, []). 

редактировать простирающийся на несколько элементов зависимостей (но без петель!) Может быть сделано как

xyz(K, Ds) :- f(K, DKs) -> findall([T|P], (member(T, DKs), xyz(T, P)), L), flatten(L, F), sort(F, Ds) ; Ds = [].