IP/Host: ---.saix.net
Registered: 18 years ago
Posts: 3,747
Rating: 0
Nah Im sure the question is complete. The way I understand it what they want is say you have a whole bunch of predicates:
father(john). father(mary). sister(adam). pope(john).
then if you pass the procedure the predicate and L it should fill L with all variables that satisfy P.
Eg/
?-P(father,X).
X = [john.mary]
?-P(pope,X)
X = [john]
etc. etc.
I hope you get the idea, this is how I interpretted it although I could be wrong...