process:process_group

process_group_kill(+PID) is det
process_group_kill(+PID, +Signal) is det: Send signal to the group containing process PID. Default is term. See process_wait/1 for a description of signal handling. In Windows, the same restriction on PID applies: it must have been created from process_create/3, and the the group is terminated via the TerminateJobObject API.