threaded_once/1

Description

threaded_once(Goal)

Prove Goal asynchronously using a new thread. Only the first solution for the goal is found. The argument can be a message sending. This call always succeeds. The result (success, failure, or exception) is sent back to the thread of the object containing the call (this).

Template and modes

threaded_once(+callable)

Errors

Goal is a variable:

instantiation_error

Goal is neither a variable nor a callable term:

type_error(callable, Goal)

Examples

Prove Goal asynchronously in a new thread:

threaded_once(Goal)

Send an asynchronous message to self:

threaded_once(::Message)

Send an asynchronous message to an object:

threaded_once(Object::Message)