- swipl
- library
- error.pl
- debug.pl -- Print debug messages and test assertions
- apply.pl
- lists.pl
- broadcast.pl -- Event service
- shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
- option.pl
- thread_pool.pl -- Resource bounded thread management
- gensym.pl
- settings.pl
- arithmetic.pl
- main.pl
- readutil.pl -- Read utilities
- operators.pl
- pairs.pl
- prolog_source.pl -- Examine Prolog source-files
- quasi_quotations.pl
- url.pl
- www_browser.pl
- prolog_colour.pl
- record.pl
- prolog_xref.pl -- Prolog cross-referencer data collection
- occurs.pl
- ordsets.pl -- Ordered set manipulation
- assoc.pl
- ugraphs.pl -- Graph manipulation library
- solution_sequences.pl -- Modify solution sequences
- atom.pl
- prolog_pack.pl
- git.pl -- Run GIT commands
- ctypes.pl
- utf8.pl
- base64.pl
- persistency.pl
- pure_input.pl
- nb_set.pl
- aggregate.pl
- csv.pl -- Process CSV (Comma-Separated Values) data
- iostream.pl -- Utilities to deal with streams
- dialect.pl
- apply_macros.pl -- Goal expansion rules to avoid meta-calling
- yall.pl
- prolog_code.pl -- Utilities for reasoning about code
- dif.pl -- The dif/2 constraint
- thread.pl -- High level thread primitives
- predicate_options.pl -- Access and analyse predicate options
- rbtrees.pl
- nb_rbtrees.pl
- sandbox.pl
- prolog_format.pl -- Analyse format specifications
- random.pl
- pprint.pl -- Pretty Print Prolog terms
- modules.pl -- Module utility predicates
- lazy_lists.pl
- edinburgh.pl
- prolog_clause.pl
- prolog_breakpoints.pl -- Manage Prolog break-points
- dicts.pl
- heaps.pl
- 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
- write_length/3
- proper_list/1
- free_variables/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
- call_cleanup/3
- 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
- thread_at_exit/1
- read_history/6
- $sig_atomic/1
- date.pl
- prolog_profile.pl -- Execution profiler
- listing.pl -- List programs and pretty print clauses
- quintus.pl
- oset.pl
- varnumbers.pl
- tables.pl -- XSB interface to tables
- charsio.pl
- terms.pl -- Term manipulation
- make.pl
- streams.pl
- rwlocks.pl
- threadutil.pl -- Interactive thread utilities
- wfs.pl
- prolog_stack.pl -- Examine the Prolog stack
- check.pl -- Consistency checking
- intercept.pl -- Intercept and signal interface
- prolog_coverage.pl
- prolog_debug.pl -- User level debugging tools
- increval.pl
- help.pl -- Text based manual
- portray_text.pl
- statistics.pl -- Get information about resource usage
- optparse.pl
- ansi_term.pl
- hashtable.pl
- coinduction.pl
- qsave.pl
- zip.pl
- prolog_history.pl
- codesio.pl
- shell.pl
- when.pl -- Conditional coroutining
- system.pl -- System utilities
- prolog_jiti.pl
- prolog_codewalk.pl -- Prolog code walker
- exceptions.pl
- base32.pl
- sort.pl
- prolog_versions.pl
- edit.pl
- macros.pl -- Macro expansion
- prolog_autoload.pl
- writef.pl
- strings.pl
- tableutil.pl
- tty.pl
- prolog_config.pl
- explain.pl
- fastrw.pl
- prolog_trace.pl
- files.pl
- prolog_wrap.pl -- Wrapping predicates
- 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.