/usr/local/lib/swipl/library/ext/clib/time.pl
All Application Manual Name SummaryHelp

  • ext
    • clib
      • socket.pl
      • uid.pl -- User and group management on Unix systems
      • unix.pl
      • syslog.pl
      • memfile.pl
      • time.pl -- Time and alarm library
        • alarm/3
        • alarm/4
        • alarm_at/3
        • alarm_at/4
        • install_alarm/1
        • install_alarm/2
        • uninstall_alarm/1
        • remove_alarm/1
        • current_alarm/4
        • call_with_time_limit/2
        • call_with_time_limit/3
      • uri.pl
      • filesex.pl
      • uuid.pl
      • sha.pl
      • process.pl
      • hash_stream.pl
      • md5.pl
      • mallocinfo.pl
      • cgi.pl
      • crypt.pl
      • udp_broadcast.pl
      • rlimit.pl
      • prolog_stream.pl
 call_with_time_limit(+Time, :Goal) is det
 call_with_time_limit(+Time, :Goal, +Context) is det
Call Goal, while watching out for a (wall-time) limit. If this limit is exceeded, the exception time_limit_exceeded is raised. call_with_time_limit/3 throws time_limit_exceeded(Context). Goal is called as in once/1.
throws
- time_limit_exceeded (call_with_time_limit/2) or time_limit_exceeded(Context) (call_with_time_limit/3).