Hi, I am Pablo Sabatino. I'm from Argentina. I have a question about the Prolog list. for example: 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. THIS IS OK. ----------------------------------------------------------------------------- But I want to do a rule with this name: give_names(X) When the X is a list of all. For Ejample: GOAL EXTERN> give_names(X) X=[pablo,andy,kim] 1 Solution How can I do this rule? Can you help me?? Pablo SabatinoICQ: 68737002