I don't quite understand the manual text for call/1

Help! Predicate
1

https://www.swi-prolog.org/pldoc/man?predicate=call/1

shows

Invoke Goal as a goal. Note that clauses may have variables as subclauses, which is identical to call/1.

The same appears on help(call) from swipl.

Does that mean that if these variables are bound, their values are invoked using call/1? Or is it a typo of some kind?

2

Did you scroll down on the documentation page for call/1?

It references a Q&A on StackOverflow

1 Like
3

Calling an unbound variable is an error, then I think the doc attempts to clarify that instead something like this can be done

?- X=member(A,[1,2,3]),Y=writeln(A),call((X,Y)).
1
X = member(1, [1, 2, 3]),
A = 1,
Y = writeln(1) ;
2
X = member(2, [1, 2, 3]),
A = 2,
Y = writeln(2) ;
3
X = member(3, [1, 2, 3]),
A = 3,
Y = writeln(3).
5

Shame on me, no, didn’t read further down. Thanks for the hint, I will be more attentive next time.

6

Thanks for the answers! So I basically did get it right, was just a bit confused by the text.