/usr/lib/swipl/library/thread.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
      • socket.pl
      • predicate_options.pl -- Access and analyse predicate options
      • shlib.pl
      • option.pl -- Option list processing
      • uid.pl -- User and group management on Unix systems
      • unix.pl
      • syslog.pl -- Unix syslog interface
      • thread_pool.pl
      • gensym.pl -- Generate unique symbols
      • settings.pl
      • arithmetic.pl
      • main.pl -- Provide entry point for scripts
      • readutil.pl
      • 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
      • help.pl -- Text based manual
      • isub.pl -- isub: a string similarity measure
      • backcomp.pl -- Backward compatibility
      • base32.pl -- Base32 encoding and decoding
      • charsio.pl -- I/O on Lists of Character Codes
      • 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
      • rbtrees.pl -- Red black trees
      • statistics.pl -- Get information about resource usage
      • when.pl -- Conditional coroutining
      • explain.pl -- Describe Prolog Terms
      • macros.pl -- Macro expansion
      • redis.pl -- Redis client
      • hashtable.pl -- Hash tables
      • fastrw.pl -- Fast reading and writing of terms
      • c14n2.pl -- C14n2 canonical XML documents
      • sgml_write.pl -- XML/SGML writer module
      • thread.pl -- High level thread primitives
        • concurrent/3
        • concurrent_forall/2
        • concurrent_forall/3
        • concurrent_and/2
        • concurrent_and/3
        • concurrent_maplist/2
        • concurrent_maplist/3
        • concurrent_maplist/4
        • first_solution/3
        • call_in_thread/2
      • mqi.pl
      • optparse.pl -- command line parsing
      • make.pl -- Reload modified source files
      • odbc.pl
      • archive.pl -- Access several archive formats
      • zip.pl -- Access resource ZIP archives
      • yaml.pl -- Process YAML data
      • xsdp_types.pl -- XML-Schema primitive types
      • prolog_autoload.pl -- Autoload all dependencies
      • check.pl -- Consistency checking
      • prolog_codewalk.pl -- Prolog code walker
      • quintus.pl -- Quintus compatibility
      • prolog_stream.pl -- A stream with Prolog callbacks
      • streampool.pl -- Input multiplexing
      • readln.pl -- Read line as list of tokens
      • xmldsig.pl -- XML Digital signature
      • xmlenc.pl -- XML encryption library
      • pwp.pl -- Prolog Well-formed Pages
      • plunit.pl -- Unit Testing
      • stomp.pl -- STOMP client.
      • prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
      • prolog_history.pl -- Per-directory persistent commandline history
      • readline.pl -- GNU readline interface
      • doc_files.pl -- Create stand-alone documentation files
      • prolog_trace.pl -- Print access to predicates
      • writef.pl -- Old-style formatted write
      • prolog_metainference.pl -- Infer meta-predicate properties
      • threadutil.pl -- Interactive thread utilities
      • tables.pl -- XSB interface to tables
      • utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
      • editline.pl -- BSD libedit based command line editing
      • prolog_debug.pl -- User level debugging tools
      • prolog_profile.pl -- Execution profiler
      • snowball.pl -- The Snowball multi-lingual stemmer library
      • crypt.pl
      • rdf_write.pl -- Write RDF/XML from a list of triples
      • increval.pl -- Incremental dynamic predicate modification
      • prolog_versions.pl -- Demand specific Prolog versions
      • rewrite_term.pl
      • edit.pl -- Editor interface
      • double_metaphone.pl -- Phonetic string matching
      • rdf_parser.pl
      • unicode.pl -- Unicode string handling
      • rdf.pl -- RDF/XML parser
      • rdf_triple.pl -- Create triples from intermediate representation
      • shell.pl -- Elementary shell commands
      • test_cover.pl -- Clause coverage analysis
      • system.pl -- System utilities
      • doc_latex.pl -- PlDoc LaTeX backend
      • paxos.pl -- A Replicated Data Store
      • files.pl
      • rlimit.pl
      • udp_broadcast.pl -- A UDP broadcast proxy
      • table.pl
      • qsave.pl -- Save current program as a state or executable
      • portray_text.pl -- Portray text
      • streams.pl -- Manage Prolog streams
      • rwlocks.pl -- Read/write locks
      • cgi.pl -- Read CGI parameters
      • protobufs.pl -- Google's Protocol Buffers ("protobufs")
      • prolog_wrap.pl -- Wrapping predicates
      • oset.pl -- Ordered set manipulation
      • redis_streams.pl -- Using Redis streams
      • intercept.pl -- Intercept and signal interface
 concurrent_maplist(:Goal, +List) is semidet
 concurrent_maplist(:Goal, +List1, +List2) is semidet
 concurrent_maplist(:Goal, +List1, +List2, +List3) is semidet
Concurrent version of maplist/2. This predicate uses concurrent/3, using multiple worker threads. The number of threads is the minimum of the list length and the number of cores available. The number of cores is determined using the prolog flag cpu_count. If this flag is absent or 1 or List has less than two elements, this predicate calls the corresponding maplist/N version using a wrapper based on once/1. Note that all goals are executed as if wrapped in once/1 and therefore these predicates are semidet.

Note that the the overhead of this predicate is considerable and therefore Goal must be fairly expensive before one reaches a speedup.