- swipl
- library
- error.pl
- debug.pl -- Print debug messages and test assertions
- apply.pl -- Apply predicates on a list
- lists.pl -- List Manipulation
- broadcast.pl -- Event service
- predicate_options.pl -- Access and analyse predicate options
- shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
- option.pl -- Option list processing
- 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
- operators.pl -- Manage operators
- pairs.pl -- Operations on key-value lists
- prolog_source.pl -- Examine Prolog source-files
- quasi_quotations.pl -- Define Quasi Quotation syntax
- url.pl -- Analysing and constructing URL
- www_browser.pl -- Open a URL in the users browser
- prolog_colour.pl -- Prolog syntax colouring support.
- record.pl -- Access compound arguments by name
- prolog_xref.pl -- Prolog cross-referencer data collection
- occurs.pl -- Finding and counting sub-terms
- ordsets.pl -- Ordered set manipulation
- assoc.pl -- Binary associations
- ugraphs.pl -- Graph manipulation library
- iostream.pl -- Utilities to deal with streams
- atom.pl -- Operations on atoms
- prolog_pack.pl -- A package manager for Prolog
- solution_sequences.pl -- Modify solution sequences
- git.pl -- Run GIT commands
- ctypes.pl -- Character code classification
- utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
- base64.pl -- Base64 encoding and decoding
- persistency.pl -- Provide persistent dynamic predicates
- pure_input.pl -- Pure Input from files and streams
- nb_set.pl -- Non-backtrackable sets
- aggregate.pl -- Aggregation operators on backtrackable predicates
- csv.pl -- Process CSV (Comma-Separated Values) data
- dialect.pl -- Support multiple Prolog dialects
- apply_macros.pl -- Goal expansion rules to avoid meta-calling
- yall.pl -- Lambda expressions
- prolog_code.pl -- Utilities for reasoning about code
- dif.pl -- The dif/2 constraint
- thread.pl -- High level thread primitives
- rbtrees.pl -- Red black trees
- nb_rbtrees.pl -- Non-backtrackable operations on red black trees
- random.pl -- Random numbers
- sandbox.pl -- Sandboxed Prolog code
- prolog_format.pl -- Analyse format specifications
- pprint.pl -- Pretty Print Prolog terms
- modules.pl -- Module utility predicates
- lazy_lists.pl -- Lazy list handling
- edinburgh.pl -- Some traditional Edinburgh predicates
- prolog_clause.pl -- Get detailed source-information about a clause
- prolog_breakpoints.pl -- Manage Prolog break-points
- dicts.pl -- Dict utilities
- prolog_coverage.pl -- Coverage analysis tool
- date.pl -- Process dates and times
- backcomp.pl -- Backward compatibility
- statistics.pl -- Get information about resource usage
- terms.pl -- Term manipulation
- tables.pl -- XSB interface to tables
- check.pl -- Consistency checking
- threadutil.pl -- Interactive thread utilities
- prolog_profile.pl -- Execution profiler
- listing.pl -- List programs and pretty print clauses
- quintus.pl -- Quintus compatibility
- prolog_debug.pl -- User level debugging tools
- ansi_term.pl -- Print decorated text to ANSI consoles
- charsio.pl -- I/O on Lists of Character Codes
- streams.pl -- Manage Prolog streams
- base32.pl -- Base32 encoding and decoding
- codesio.pl -- I/O on Lists of Character Codes
- coinduction.pl -- Co-Logic Programming
- heaps.pl -- heaps/priority queues
- sort.pl
- varnumbers.pl -- Utilities for numbered terms
- when.pl -- Conditional coroutining
- intercept.pl -- Intercept and signal interface
- system.pl -- System utilities
- wfs.pl -- Well Founded Semantics interface
- fastrw.pl -- Fast reading and writing of terms
- prolog_stack.pl -- Examine the Prolog stack
- writef.pl -- Old-style formatted write
- strings.pl -- String utilities
- prolog_versions.pl -- Demand specific (Prolog) versions
- prolog_trace.pl -- Print access to predicates
- prolog_autoload.pl -- Autoload all dependencies
- prolog_codewalk.pl -- Prolog code walker
- rwlocks.pl -- Read/write locks
- optparse.pl -- command line parsing
- macros.pl -- Macro expansion
- prolog_metainference.pl -- Infer meta-predicate properties
- shell.pl -- Elementary shell commands
- portray_text.pl -- Portray text
- increval.pl -- Incremental dynamic predicate modification
- prolog_history.pl -- Per-directory persistent commandline history
- prolog_config.pl -- Provide configuration information
- explain.pl -- Describe Prolog Terms
- edit.pl -- Editor interface
- tty.pl -- Terminal operations
- make.pl -- Reload modified source files
- prolog_wrap.pl -- Wrapping predicates
- qsave.pl -- Save current program as a state or executable
- zip.pl -- Access resource ZIP archives
- prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
- files.pl
- oset.pl -- Ordered set manipulation
- exceptions.pl -- Exception classification
- help.pl -- Text based manual
- win_menu.pl -- Console window menu
- hashtable.pl -- Hash tables
- library
- call_time(:Goal, -Time:dict)
- call_time(:Goal, -Time:dict, -Result)
- Call Goal as call/1, unifying Time with a dict that provides
information on the resource usage. If Goal succeeds with a choice
point, backtracking reports the time used to find the next answer,
failure or exception. If Goal succeeds deterministically no choice
point is left open. Currently Time contains the keys below. Future
versions may provide additional keys.
- wall:Seconds
- cpu:Seconds
- inferences:Count
call_time/2 is defined as below. Note that for call_time/2 the time is only available if Goal succeeds.
call_time(Goal, Time) :- call_time(Goal, Time, Result), call(Result).
- Arguments:
-
Result - is one of true
,false
orthrow(E)
, depending on whether or not the goal succeeded or raised an exception. Note that Result may be called using call/1 to propagate the failure or exception.