threaded_exit/1

Description

threaded_exit(Goal)

Retrieve the result of proving Goal in a new thread. This call blocks execution until the reply is sent to the this thread by the thread executing the goal. This predicate is non-deterministic, providing access to the alternative solutions of its argument.

Template and modes

threaded_exit(+callable)

Examples

To retrieve the goal proof result:

threaded_exit(Goal)

To retrieve the message result:

threaded_exit(::Goal)

To retrieve the message result:

threaded_exit(Object::Goal)