5 lines
45 B
Text
5 lines
45 B
Text
| ?- foo::bar(X).
|
|
X = 1 ;
|
|
X = 2 ;
|
|
X = 3
|
|
true
|
| ?- foo::bar(X).
|
|
X = 1 ;
|
|
X = 2 ;
|
|
X = 3
|
|
true
|