Prolog - Listas en Prolog.

Tengo una duda de como trabaja el prolog con las listas.
Un Ejemplo:

domains
name=integer
list=name*
predicates
name(name)
give_names(list)
clauses
name(pablo).
name(andy).
name(kim).

GOAL EXTERN> name(X)

X=pablo
X=andy
X=kim

3 Solution.

Esto esta OK, es decir obtengo 3 respuestas.
-----------------------------------------------------------------------------
Pero yo quiero hacer una regla que se llame give_names(X) en donde X es una lista de todos
los nombres.
Por ejemplo>

GOAL EXTERN> give_names(X)

X=[pablo,andy,kim]
1 Solution

Como puedo hacer la regla give_names(X) ???
Podria ayudarme???



Muchas Gracias desde Ya.

El problema que planteas es muy fácil. Seguro que tú ya tienes la solución, pero tal vez pueda ayudar a otr@s.

give_name(Solution):-
findall(X,name(X),Solution).

Suerte

quiero saber , necesito tener el codigo en prologh en base al metodo A*, de las torres de hanoi, por favor ayudenme