- swi-prolog
- 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
- broadcast.pl -- Event service
- socket.pl -- Network socket (TCP and UDP) library
- 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
- syslog.pl
- thread_pool.pl
- rbtrees.pl -- Red black trees
- gensym.pl -- Generate unique symbols
- readutil.pl
- url.pl
- utf8.pl
- uri.pl -- Process URIs
- memfile.pl
- settings.pl -- Setting management
- arithmetic.pl
- sgml.pl -- SGML, XML and HTML parser
- iostream.pl -- Utilities to deal with streams
- 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
- 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
- prolog_colour.pl -- Prolog syntax colouring support.
- prolog_xref.pl -- Prolog cross-referencer data collection
- 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
- record.pl -- Access compound arguments by name
- assoc.pl -- Binary associations
- ugraphs.pl -- Graph manipulation library
- xpath.pl -- Select nodes in an XML DOM
- prolog_pack.pl -- A package manager for Prolog
- archive.pl -- Access several archive formats
- 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
- ctypes.pl -- Character code classification
- sha.pl -- SHA secure hashes
- crypt.pl
- persistency.pl -- Provide persistent dynamic predicates
- tty.pl -- Terminal operations
- terms.pl -- Term manipulation
- snowball.pl -- The Snowball multi-lingual stemmer library
- sandbox.pl -- Sandboxed Prolog code
- prolog_format.pl -- Analyse format specifications
- when.pl -- Conditional coroutining
- apply_macros.pl -- Goal expansion rules to avoid meta-calling
- double_metaphone.pl -- Phonetic string matching
- porter_stem.pl
- nb_set.pl -- Non-backtrackable sets
- c14n2.pl -- C14n2 canonical XML documents
- dicts.pl -- Dict utilities
- solution_sequences.pl -- Modify solution sequences
- uuid.pl -- Universally Unique Identifier (UUID) Library
- pcre.pl -- Perl compatible regular expression matching for SWI-Prolog
- backcomp.pl -- Backward compatibility
- $arch/2
- $version/1
- $home/1
- $argv/1
- $set_prompt/1
- displayq/1
- displayq/2
- sformat/3
- sformat/2
- concat/3
- concat_atom/2
- concat_atom/3
- $apropos_match/2
- read_clause/1
- read_clause/2
- read_variables/2
- read_variables/3
- read_pending_input/3
- feature/2
- set_feature/2
- substring/4
- string_to_list/2
- string_to_atom/2
- flush/0
- write_ln/1
- proper_list/1
- free_variables/2
- subsumes_chk/2
- subsumes/2
- hash_term/2
- checklist/2
- sublist/3
- sumlist/2
- $strip_module/3
- $module/2
- $declare_module/3
- at_initialization/1
- convert_time/2
- convert_time/8
- C/3
- current_thread/2
- current_mutex/3
- message_queue_size/2
- lock_predicate/2
- unlock_predicate/2
- current_module/2
- export_list/2
- setup_and_call_cleanup/3
- setup_and_call_cleanup/4
- merge_set/3
- merge/3
- index/1
- hash/1
- set_base_module/1
- eval_license/0
- trie_insert_new/3
- system.pl -- System utilities
- rdf_write.pl -- Write RDF/XML from a list of triples
- date.pl -- Process dates and times
- zlib.pl -- Zlib wrapper for SWI-Prolog
- rdf_ntriples.pl -- RDF N-triples parser (obsolete)
- csv.pl -- Process CSV (Comma-Separated Values) data
- dif.pl -- The dif/2 constraint
- ansi_term.pl -- Print decorated text to ANSI consoles
- pengines.pl -- Pengines: Web Logic Programming Made Easy
- charsio.pl -- I/O on Lists of Character Codes
- modules.pl -- Module utility predicates
- term_to_json.pl
- prolog_stack.pl -- Examine the Prolog stack
- statistics.pl -- Get information about resource usage
- varnumbers.pl -- Utilities for numbered terms
- prolog_autoload.pl -- Autoload all dependencies
- prolog_codewalk.pl -- Prolog code walker
- prolog_metainference.pl -- Infer meta-predicate properties
- yall.pl -- Lambda expressions
- rlimit.pl
- xmlenc.pl -- XML encryption library
- table.pl
- edinburgh.pl -- Some traditional Edinburgh predicates
- helpidx.pl
- explain.pl -- Describe Prolog Terms
- edit.pl -- Editor interface
- make.pl -- Reload modified source files
- check.pl -- Consistency checking
- prolog_breakpoints.pl -- Manage Prolog break-points
- threadutil.pl -- Interactive thread utilities
- help.pl
- hash_stream.pl -- Maintain a hash on a stream
- readline.pl -- GNU readline interface
- optparse.pl -- command line parsing
- cgi.pl -- Read CGI parameters
- writef.pl -- Old-style formatted write
- random.pl -- Random numbers
- shell.pl -- Elementary shell commands
- unicode.pl -- Unicode string handling
- udp_broadcast.pl -- A UDP Broadcast Bridge
- files.pl
- chr.pl
- sort.pl
- pengines_io.pl -- Provide Prolog I/O for HTML clients
- prolog_stream.pl -- A stream with Prolog callbacks
- library
- convert_time(+Stamp, -Y, -Mon, -Day, -Hour, -Min, -Sec, -MilliSec)
- Convert a time stamp, provided by get_time/1, time_file/2,
etc. Year is unified with the year, Month with the month number
(January is 1), Day with the day of the month (starting with 1),
Hour with the hour of the day (0--23), Minute with the minute
(0--59). Second with the second (0--59) and MilliSecond with the
milliseconds (0--999). Note that the latter might not be accurate
or might always be 0, depending on the timing capabilities of the
system. See also convert_time/2.
- deprecated
- - Use stamp_date_time/3.