/usr/lib/swipl/library/unix.pl
AllApplicationManualNameSummaryHelp

  • swipl
    • library
      • error.pl
      • apply.pl -- Apply predicates on a list
      • lists.pl -- List Manipulation
      • debug.pl -- Print debug messages and test assertions
      • broadcast.pl -- Event service
      • socket.pl -- Network socket (TCP and UDP) library
      • predicate_options.pl -- Access and analyse predicate options
      • shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
      • option.pl -- Option list processing
      • uid.pl -- User and group management on Unix systems
      • 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
      • thread_pool.pl
      • gensym.pl -- Generate unique symbols
      • settings.pl -- Setting management
      • arithmetic.pl -- Extensible arithmetic
      • main.pl -- Provide entry point for scripts
      • readutil.pl -- Read utilities
      • ssl.pl -- Secure Socket Layer (SSL) library
      • crypto.pl -- Cryptography and authentication library
      • pldoc.pl -- Process source documentation
      • operators.pl -- Manage operators
      • pairs.pl -- Operations on key-value lists
      • prolog_source.pl -- Examine Prolog source-files
      • pengines.pl -- Pengines: Web Logic Programming Made Easy
      • record.pl -- Access compound arguments by name
      • memfile.pl
      • sgml.pl -- SGML, XML and HTML parser
      • quasi_quotations.pl -- Define Quasi Quotation syntax
      • pure_input.pl -- Pure Input from files and streams
      • time.pl -- Time and alarm library
      • uri.pl -- Process URIs
      • solution_sequences.pl -- Modify solution sequences
      • uuid.pl -- Universally Unique Identifier (UUID) Library
      • ordsets.pl -- Ordered set manipulation
      • random.pl -- Random numbers
      • base64.pl -- Base64 encoding and decoding
      • aggregate.pl -- Aggregation operators on backtrackable predicates
      • pcre.pl -- Perl compatible regular expression matching for SWI-Prolog
      • pengines_io.pl -- Provide Prolog I/O for HTML clients
      • sandbox.pl -- Sandboxed Prolog code
      • apply_macros.pl -- Goal expansion rules to avoid meta-calling
      • assoc.pl -- Binary associations
      • prolog_format.pl -- Analyse format specifications
      • yall.pl -- Lambda expressions
      • sha.pl -- SHA secure hashes
      • process.pl -- Create processes and redirect I/O
      • filesex.pl -- Extended operations on files
      • 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
      • porter_stem.pl
      • csv.pl -- Process CSV (Comma-Separated Values) data
      • pprint.pl -- Pretty Print Prolog terms
      • atom.pl -- Operations on atoms
      • ctypes.pl -- Character code classification
      • modules.pl -- Module utility predicates
      • occurs.pl -- Finding and counting sub-terms
      • prolog_xref.pl -- Prolog cross-referencer data collection
      • prolog_colour.pl -- Prolog syntax colouring support.
      • lazy_lists.pl -- Lazy list handling
      • prolog_code.pl -- Utilities for reasoning about code
      • ugraphs.pl -- Graph manipulation library
      • xpath.pl -- Select nodes in an XML DOM
      • iostream.pl -- Utilities to deal with streams
      • doc_http.pl -- Documentation server
      • url.pl -- Analysing and constructing URL
      • www_browser.pl -- Open a URL in the users browser
      • prolog_pack.pl -- A package manager for Prolog
      • prolog_config.pl -- Provide configuration information
      • git.pl -- Run GIT commands
      • strings.pl -- String utilities
      • dif.pl -- The dif/2 constraint
      • dialect.pl -- Support multiple Prolog dialects
      • edinburgh.pl -- Some traditional Edinburgh predicates
      • ansi_term.pl -- Print decorated text to ANSI consoles
      • terms.pl -- Term manipulation
      • listing.pl -- List programs and pretty print clauses
      • persistency.pl -- Provide persistent dynamic predicates
      • pengines_sandbox.pl -- Declare Pengine interaction sandbox-safe
      • term_to_json.pl
      • prolog_stack.pl -- Examine the Prolog stack
      • prolog_clause.pl -- Get detailed source-information about a clause
      • prolog_breakpoints.pl -- Manage Prolog break-points
      • wfs.pl -- Well Founded Semantics interface
      • mallocinfo.pl -- Memory allocation details
      • chr.pl
      • sort.pl
      • dicts.pl -- Dict utilities
      • varnumbers.pl -- Utilities for numbered terms
      • nb_set.pl -- Non-backtrackable sets
      • rbtrees.pl -- Red black trees
      • prolog_stream.pl -- A stream with Prolog callbacks
      • backcomp.pl -- Backward compatibility
      • charsio.pl -- I/O on Lists of Character Codes
      • rdf_write.pl -- Write RDF/XML from a list of triples
      • sgml_write.pl -- XML/SGML writer module
      • edit.pl -- Editor interface
      • make.pl -- Reload modified source files
      • base32.pl -- Base32 encoding and decoding
      • codesio.pl -- I/O on Lists of Character Codes
      • coinduction.pl -- Co-Logic Programming
      • date.pl -- Process dates and times
      • heaps.pl -- heaps/priority queues
      • statistics.pl -- Get information about resource usage
      • when.pl -- Conditional coroutining
      • doc_files.pl -- Create stand-alone documentation files
      • macros.pl -- Macro expansion
      • zip.pl -- Access resource ZIP archives
      • check.pl -- Consistency checking
      • help.pl -- Text based manual
      • udp_broadcast.pl -- A UDP broadcast proxy
      • mqi.pl
      • optparse.pl -- command line parsing
      • odbc.pl
      • redis.pl -- Redis client
      • archive.pl -- Access several archive formats
      • writef.pl -- Old-style formatted write
      • tables.pl -- XSB interface to tables
      • streampool.pl -- Input multiplexing
      • explain.pl -- Describe Prolog Terms
      • editline.pl -- BSD libedit based command line editing
      • doc_latex.pl -- PlDoc LaTeX backend
      • thread.pl -- High level thread primitives
      • prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
      • prolog_versions.pl -- Demand specific Prolog versions
      • readln.pl -- Read line as list of tokens
      • c14n2.pl -- C14n2 canonical XML documents
      • utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
      • unicode.pl -- Unicode string handling
      • prolog_history.pl -- Per-directory persistent commandline history
      • readline.pl -- GNU readline interface
      • fastrw.pl -- Fast reading and writing of terms
      • shell.pl -- Elementary shell commands
      • table.pl
      • rwlocks.pl -- Read/write locks
      • pwp.pl -- Prolog Well-formed Pages
      • xsdp_types.pl -- XML-Schema primitive types
      • threadutil.pl -- Interactive thread utilities
      • snowball.pl -- The Snowball multi-lingual stemmer library
      • prolog_trace.pl -- Print access to predicates
      • prolog_profile.pl -- Execution profiler
      • streams.pl -- Manage Prolog streams
      • qsave.pl -- Save current program as a state or executable
      • prolog_autoload.pl -- Autoload all dependencies
      • quintus.pl -- Quintus compatibility
      • rewrite_term.pl
      • system.pl -- System utilities
      • prolog_debug.pl -- User level debugging tools
      • test_cover.pl -- Clause coverage analysis
      • double_metaphone.pl -- Phonetic string matching
      • xmldsig.pl -- XML Digital signature
      • rdf_parser.pl
      • portray_text.pl -- Portray text
      • crypt.pl
      • plunit.pl -- Unit Testing
      • stomp.pl -- STOMP client.
      • prolog_metainference.pl -- Infer meta-predicate properties
      • prolog_codewalk.pl -- Prolog code walker
      • increval.pl -- Incremental dynamic predicate modification
      • hashtable.pl -- Hash tables
      • oset.pl -- Ordered set manipulation
      • xmlenc.pl -- XML encryption library
      • yaml.pl -- Process YAML data
      • rdf_triple.pl -- Create triples from intermediate representation
      • intercept.pl -- Intercept and signal interface
      • redis_streams.pl -- Using Redis streams
      • prolog_wrap.pl -- Wrapping predicates
      • isub.pl -- isub: a string similarity measure
      • protobufs.pl -- Google's Protocol Buffers ("protobufs")
      • tty.pl -- Terminal operations
      • paxos.pl -- A Replicated Data Store
      • rlimit.pl
      • rdf.pl -- RDF/XML parser
 fork(-Pid) is det
Clone the current process into two branches. In the child, Pid is unified to child. In the original process, Pid is unified to the process identifier of the created child. Both parent and child are fully functional Prolog processes running the same program. The processes share open I/O streams that refer to Unix native streams, such as files, sockets and pipes. Data is not shared, though on most Unix systems data is initially shared and duplicated only if one of the programs attempts to modify the data.

Unix fork() is the only way to create new processes and fork/1 is a simple direct interface to it.

Errors
- permission_error(fork, process, main) is raised if the calling thread is not the only thread in the process. Forking a Prolog process with threads will typically deadlock because only the calling thread is cloned in the fork, while all thread synchronization are cloned.