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