Usage:
call(X,Y,...)

Tries consecutively the goals X , Y ... . You can use this predicate when you have to make an atomic goal from complicated one.

Example:

?- write(X of call(p(X), X>4)), nl.

p(3).
p(5).