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

  • ext
    • clib
      • socket.pl
      • uid.pl
      • unix.pl -- Unix specific operations
        • fork/1
        • fork_exec/1
        • exec/1
        • wait/2
        • kill/2
        • pipe/2
        • dup/2
        • detach_IO/1
        • detach_IO/0
        • prctl/1
        • sysconf/1
      • syslog.pl
      • memfile.pl
      • time.pl
      • uri.pl
      • filesex.pl
      • uuid.pl
      • sha.pl
      • process.pl -- Create processes and redirect I/O
      • hash_stream.pl
      • md5.pl
      • mallocinfo.pl -- Memory allocation details
      • crypt.pl
      • udp_broadcast.pl
 fork_exec(+Command) is det
Fork (as fork/1) and exec (using exec/1) the child immediately. This behaves as the code below, but bypasses the check for the existence of other threads because this is a safe scenario.
fork_exec(Command) :-
      (   fork(child)
      ->  exec(Command)
      ;   true
      ).