• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • CPACK
    • Home
    • List packs
    • Submit pack
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

/home/swipl/lib/swipl/library/process.pl
AllApplicationManualNameSummaryHelp

  • swipl
    • library
      • error.pl -- Error generating support
      • apply.pl -- Apply predicates on a list
      • lists.pl -- List Manipulation
      • pairs.pl -- Operations on key-value lists
      • debug.pl -- Print debug messages and test assertions
      • broadcast.pl -- Event service
      • socket.pl -- Network socket (TCP and UDP) library
      • shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
      • zip.pl -- Access resource ZIP archives
      • option.pl -- Option list processing
      • uid.pl -- User and group management on Unix systems
      • unix.pl -- Unix specific operations
      • syslog.pl -- Unix syslog interface
      • thread_pool.pl -- Resource bounded thread management
      • rbtrees.pl -- Red black trees
      • gensym.pl -- Generate unique symbols
      • readutil.pl -- Read utilities
      • url.pl -- Analysing and constructing URL
      • utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
      • uri.pl -- Process URIs
      • memfile.pl
      • settings.pl -- Setting management
      • arithmetic.pl -- Extensible arithmetic
      • sgml.pl -- SGML, XML and HTML parser
      • iostream.pl
      • dialect.pl
      • quasi_quotations.pl -- Define Quasi Quotation syntax
      • pure_input.pl -- Pure Input from files and streams
      • time.pl -- Time and alarm library
      • main.pl -- Provide entry point for scripts
      • ssl.pl -- Secure Socket Layer (SSL) library
      • crypto.pl -- Cryptography and authentication library
      • filesex.pl -- Extended operations on files
      • doc_http.pl -- Documentation server
      • pldoc.pl -- Process source documentation
      • operators.pl -- Manage operators
      • prolog_source.pl -- Examine Prolog source-files
      • base64.pl -- Base64 encoding and decoding
      • aggregate.pl -- Aggregation operators on backtrackable predicates
      • ordsets.pl -- Ordered set manipulation
      • oset.pl -- Ordered set manipulation
      • www_browser.pl -- Open a URL in the users browser
      • process.pl -- Create processes and redirect I/O
        • process_create/3
        • 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
      • prolog_colour.pl -- Prolog syntax colouring support.
      • prolog_xref.pl -- Prolog cross-referencer data collection
      • solution_sequences.pl -- Modify solution sequences
      • nb_set.pl -- Non-backtrackable sets
      • terms.pl -- Term manipulation
      • apply_macros.pl -- Goal expansion rules to avoid meta-calling
      • modules.pl -- Module utility predicates
      • predicate_options.pl -- Access and analyse predicate options
      • prolog_clause.pl -- Get detailed source-information about a clause
      • occurs.pl -- Finding and counting sub-terms
      • listing.pl -- List programs and pretty print clauses
      • ansi_term.pl -- Print decorated text to ANSI consoles
      • record.pl -- Access compound arguments by name
      • assoc.pl -- Binary associations
      • ugraphs.pl -- Graph manipulation library
      • xpath.pl -- Select nodes in an XML DOM
      • atom.pl -- Operations on atoms
      • ctypes.pl -- Character code classification
      • porter_stem.pl
      • backcomp.pl -- Backward compatibility
      • system.pl -- System utilities
      • prolog_pack.pl -- A package manager for Prolog
      • prolog_config.pl -- Provide configuration information
      • rdf.pl
      • rdf_parser.pl
      • rewrite.pl
      • quintus.pl -- Quintus compatibility
      • rdf_triple.pl -- Create triples from intermediate representation
      • sgml_write.pl -- XML/SGML writer module
      • xsdp_types.pl -- XML-Schema primitive types
      • thread.pl -- High level thread primitives
      • git.pl -- Run GIT commands
      • sha.pl -- SHA secure hashes
      • crypt.pl
      • persistency.pl -- Provide persistent dynamic predicates
      • c14n2.pl -- C14n2 canonical XML documents
      • dicts.pl -- Dict utilities
      • snowball.pl -- The Snowball multi-lingual stemmer library
      • sandbox.pl -- Sandboxed Prolog code
      • prolog_format.pl -- Analyse format specifications
      • when.pl -- Conditional coroutining
      • double_metaphone.pl -- Phonetic string matching
      • uuid.pl -- Universally Unique Identifier (UUID) Library
      • pcre.pl -- Perl compatible regular expression matching for SWI-Prolog
      • rdf_write.pl -- Write RDF/XML from a list of triples
      • date.pl -- Process dates and times
      • archive.pl -- Access several archive formats
      • csv.pl -- Process CSV (Comma-Separated Values) data
      • dif.pl -- The dif/2 constraint
      • nb_rbtrees.pl -- Non-backtrackable operations on red black trees
      • pengines.pl -- Pengines: Web Logic Programming Made Easy
      • charsio.pl -- I/O on Lists of Character Codes
      • term_to_json.pl
      • random.pl -- Random numbers
      • pengines_io.pl -- Provide Prolog I/O for HTML clients
      • yall.pl -- Lambda expressions
      • prolog_stream.pl -- A stream with Prolog callbacks
      • zlib.pl -- Zlib wrapper for SWI-Prolog
      • bdb.pl -- Berkeley DB interface
      • hash_stream.pl -- Maintain a hash on a stream
      • md5.pl -- MD5 hashes
      • pprint.pl -- Pretty Print Prolog terms
      • lazy_lists.pl -- Lazy list handling
      • edinburgh.pl -- Some traditional Edinburgh predicates
      • prolog_breakpoints.pl -- Manage Prolog break-points
      • wfs.pl -- Well Founded Semantics interface
      • qsave.pl -- Save current program as a state or executable
      • udp_broadcast.pl -- A UDP broadcast proxy
      • doc_latex.pl -- PlDoc LaTeX backend
      • varnumbers.pl -- Utilities for numbered terms
      • jpl.pl -- A Java interface for SWI Prolog 7.x
      • tty.pl -- Terminal operations
      • win_menu.pl -- Console window menu
      • edit.pl -- Editor interface
      • make.pl -- Reload modified source files
      • check.pl -- Consistency checking
      • prolog_codewalk.pl -- Prolog code walker
      • prolog_metainference.pl -- Infer meta-predicate properties
      • sort.pl
      • statistics.pl -- Get information about resource usage
      • prolog_code.pl -- Utilities for reasoning about code
      • unicode.pl -- Unicode string handling
      • editline.pl -- BSD libedit based command line editing
      • console_input.pl
      • readline.pl -- GNU readline interface
      • explain.pl -- Describe Prolog Terms
      • odbc.pl
      • prolog_stack.pl -- Examine the Prolog stack
      • optparse.pl -- command line parsing
      • heaps.pl -- heaps/priority queues
      • paxos.pl -- A Replicated Data Store
      • pdt_console.pl
      • base32.pl -- Base32 encoding and decoding
      • codesio.pl -- I/O on Lists of Character Codes
      • coinduction.pl -- Co-Logic Programming
      • plunit.pl -- Unit Testing
      • threadutil.pl -- Interactive thread utilities
      • xmlenc.pl -- XML encryption library
      • cgi.pl -- Read CGI parameters
      • table.pl
      • protobufs.pl -- Google's Protocol Buffers
      • prolog_autoload.pl -- Autoload all dependencies
      • prolog_trace.pl -- Print access to predicates
      • xmldsig.pl -- XML Digital signature
      • isub.pl -- isub: a string similarity measure
      • files.pl
      • streampool.pl -- Input multiplexing
      • writef.pl -- Old-style formatted write
      • yaml.pl -- Process YAML data
      • shell.pl -- Elementary shell commands
      • help.pl -- Text based manual
      • prolog_wrap.pl -- Wrapping predicates
      • prolog_history.pl -- Per-directory persistent commandline history
      • pwp.pl -- Prolog Well-formed Pages
      • doc_files.pl -- Create stand-alone documentation files
 process_kill(+PID) is det
 process_kill(+PID, +Signal) is det
Send signal to process PID. Default is term. Signal is an integer, Unix signal name (e.g. SIGSTOP) or the more Prolog friendly variation one gets after removing SIG and downcase the result: stop. On Windows systems, Signal is ignored and the process is terminated using the TerminateProcess() API. On Windows systems PID must be obtained from process_create/3, while any PID is allowed on Unix systems.
Compatibility
- SICStus does not accept the prolog friendly version. We choose to do so for compatibility with on_signal/3.
ClioPatria (version V3.1.1-33-g0aeb57d)