threaded_ignore/1¶
Description¶
threaded_ignore(Goal)
Proves Goal asynchronously using a new thread. Only the first goal
solution is found. The argument can be a message sending goal. This call
always succeeds, independently of the result (success, failure, or
exception), which is simply discarded instead of being sent back to the
message queue of the object containing the call
(this).
Modes and number of proofs¶
threaded_ignore(@callable) - one
Errors¶
Goal is a variable:instantiation_errorGoal is neither a variable nor a callable term:type_error(callable, Goal)Examples¶
Prove
Goal asynchronously in a new thread:threaded_ignore(Goal)Prove
::Message asynchronously in a new thread:threaded_ignore(::Message)Prove
Object::Message asynchronously in a new thread:threaded_ignore(Object::Message)