time_out/3 (not in ISO)

The call time_out(Goal, Time, Result) is logically equivalent to once(Goal), except that it imposes a time limit, in milliseconds, on the evaluation. If Goal is not finished when Time expires, the evaluation will be aborted and Result will be unified with the atom time_out. If Goal succeeds within the time limit, Result will be unified with the atom success.