Extracting all virables and building a clause?

Question

Let say I have a list of facts with unbounded variables :

 [f1(a,X),f2(b,Y),f3(Z,c)]

how can I extract the variables and create a clause out of i