| ?- foo::bar(X).
X = 1 ;
X = 2 ;
X = 3
true