/usr/local/lib/swipl/library/ext/clib/process.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
      • uri.pl
      • filesex.pl
      • uuid.pl -- Universally Unique Identifier (UUID) Library
      • sha.pl -- SHA secure hashes
      • process.pl -- Create processes and redirect I/O
        • process_create/3
        • process_which/2
        • process_id/1
        • process_id/2
        • is_process/1
        • process_release/1
        • process_wait/2
        • process_wait/3
        • process_kill/1
        • process_kill/2
        • process_group_kill/1
        • process_group_kill/2
        • process_set_method/1
      • hash_stream.pl -- Maintain a hash on a stream
      • md5.pl
      • rlimit.pl
      • mallocinfo.pl -- Memory allocation details
      • udp_broadcast.pl
      • prolog_stream.pl -- A stream with Prolog callbacks
      • streampool.pl
 process_release(+PID)
Release process handle. In this implementation this is the same as process_wait(PID, _).