user_error of the calling thread.user_error of the calling thread.once(Goal).current_output.current_output.| aggregate.pl -- Aggregation operators on backtrackable predicates | ||
|---|---|---|
| ansi_term.pl -- Print decorated text to ANSI consoles | ||
| apply.pl -- Apply predicates on a list | ||
| apply_macros.pl -- Goal expansion rules to avoid meta-calling | ||
| arithmetic.pl -- Extensible arithmetic | ||
| assoc.pl -- Binary associations | ||
| atom.pl -- Operations on atoms | ||
| backcomp.pl -- Backward compatibility | ||
| base32.pl -- Base32 encoding and decoding | ||
| base64.pl -- Base64 encoding and decoding | ||
| broadcast.pl -- Event service | ||
| charsio.pl -- I/O on Lists of Character Codes | ||
| check.pl -- Consistency checking | ||
| codesio.pl -- I/O on Lists of Character Codes | ||
| coinduction.pl -- Co-Logic Programming | ||
| csv.pl -- Process CSV (Comma-Separated Values) data | ||
| ctypes.pl -- Character code classification | ||
| date.pl -- Process dates and times | ||
| debug.pl -- Print debug messages and test assertions | ||
| dialect.pl -- Support multiple Prolog dialects | ||
| dicts.pl -- Dict utilities | ||
| dif.pl -- The dif/2 constraint | ||
| edinburgh.pl -- Some traditional Edinburgh predicates | ||
| error.pl | ||
| current_encoding/1 | True if Name is the name of a supported encoding. | |
| current_type/3 | True when Type is a currently defined type and Var satisfies Type of the body term Body succeeds. | |
| domain_error/2 | The argument is of the proper type, but has a value that is outside the supported values. | |
| existence_error/2 | Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it. | |
| existence_error/3 | Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it in the provided set. | |
| has_type/2 | True if Term satisfies Type. | |
| instantiation_error/1 | An argument is under-instantiated. | |
| is_of_type/2 | True if Term satisfies Type. | |
| must_be/2 | True if Term satisfies the type constraints for Type. | |
| permission_error/3 | It is not allowed to perform Operation on (whatever is represented by) Culprit that is of the given PermissionType (in fact, the ISO Standard is confusing and vague about these terms' meaning). | |
| representation_error/1 | A representation error indicates a limitation of the implementation. | |
| resource_error/1 | A goal cannot be completed due to lack of resources. | |
| syntax_error/1 | A text has invalid syntax. | |
| type_error/2 | Tell the user that Culprit is not of the expected ValidType. | |
| uninstantiation_error/1 | An argument is over-instantiated. | |
| gensym.pl -- Generate unique symbols | ||
| git.pl -- Run GIT commands | ||
| heaps.pl -- heaps/priority queues | ||
| iostream.pl -- Utilities to deal with streams | ||
| lazy_lists.pl -- Lazy list handling | ||
| listing.pl -- List programs and pretty print clauses | ||
| lists.pl -- List Manipulation | ||
| main.pl -- Provide entry point for scripts | ||
| make.pl -- Reload modified source files | ||
| modules.pl -- Module utility predicates | ||
| nb_rbtrees.pl | ||
| nb_rb_get_node/3 | True if Node is the node in RBTree associated to Key. | |
| nb_rb_insert/3 | Add Key-Value to the tree RBTree using non-backtrackable destructive assignment. | |
| nb_rb_node_value/2 | Value is the value associated to Node. | |
| nb_rb_set_node_value/2 | Associate Value with Node. | |
| nb_set.pl -- Non-backtrackable sets | ||
| occurs.pl -- Finding and counting sub-terms | ||
| operators.pl -- Manage operators | ||
| option.pl -- Option list processing | ||
| optparse.pl -- command line parsing | ||
| ordsets.pl -- Ordered set manipulation | ||
| pairs.pl -- Operations on key-value lists | ||
| persistency.pl -- Provide persistent dynamic predicates | ||
| pprint.pl -- Pretty Print Prolog terms | ||
| predicate_options.pl -- Access and analyse predicate options | ||
| prolog_autoload.pl | ||
| autoload_all/0 | Force all necessary autoloading to be done now. | |
| autoload_all/1 | Force all necessary autoloading to be done now. | |
| prolog_breakpoints.pl -- Manage Prolog break-points | ||
| prolog_clause.pl | ||
| prolog_code.pl -- Utilities for reasoning about code | ||
| prolog_codewalk.pl -- Prolog code walker | ||
| prolog_colour.pl -- Prolog syntax colouring support. | ||
| prolog_debug.pl -- User level debugging tools | ||
| prolog_format.pl -- Analyse format specifications | ||
| prolog_jiti.pl | ||
| jiti_list/0 | List the JITI (Just In Time Indexes) of selected predicates. | |
| jiti_list/1 | List the JITI (Just In Time Indexes) of selected predicates. | |
| jiti_suggest_modes/0 | Propose modes for the predicates referenced by Spec. | |
| jiti_suggest_modes/1 | Propose modes for the predicates referenced by Spec. | |
| prolog_pack.pl -- A package manager for Prolog | ||
| prolog_profile.pl -- Execution profiler | ||
| prolog_source.pl -- Examine Prolog source-files | ||
| prolog_stack.pl -- Examine the Prolog stack | ||
| prolog_trace.pl | ||
| list_tracing/0 | List predicates we are currently tracing. | |
| notraceall/0 | Remove all trace points. | |
| trace/1 | Print passes through ports of specified predicates. | |
| trace/2 | Print passes through ports of specified predicates. | |
| tracing/2 | True if Spec is traced using Ports. | |
| prolog_versions.pl -- Demand specific (Prolog) versions | ||
| prolog_wrap.pl -- Wrapping predicates | ||
| prolog_xref.pl -- Prolog cross-referencer data collection | ||
| pure_input.pl -- Pure Input from files and streams | ||
| quasi_quotations.pl -- Define Quasi Quotation syntax | ||
| quintus.pl -- Quintus compatibility | ||
| random.pl -- Random numbers | ||
| rbtrees.pl -- Red black trees | ||
| readutil.pl -- Read utilities | ||
| record.pl -- Access compound arguments by name | ||
| sandbox.pl | ||
| settings.pl -- Setting management | ||
| shell.pl | ||
| cd/0 | Change working directory. | |
| cd/1 | Change working directory. | |
| dirs/0 | Manage the directory stack:. | |
| file_style/2 | True when File should be listed as a terminal hyperlink. | |
| ls/0 | Listing similar to Unix =ls -F=, flagging directories with =/=. | |
| ls/1 | Listing similar to Unix =ls -F=, flagging directories with =/=. | |
| mv/2 | Move (Rename) a file. | |
| popd/0 | Manage the directory stack:. | |
| pushd/0 | Manage the directory stack:. | |
| pushd/1 | Manage the directory stack:. | |
| pwd/0 | Print current working directory. | |
| rm/1 | Remove (unlink) a file. | |
| shell/0 | Execute an interactive shell. | |
| shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects) | ||
| solution_sequences.pl -- Modify solution sequences | ||
| sort.pl | ||
| statistics.pl -- Get information about resource usage | ||
| strings.pl -- String utilities | ||
| system.pl -- System utilities | ||
| tables.pl -- XSB interface to tables | ||
| terms.pl -- Term manipulation | ||
| thread.pl -- High level thread primitives | ||
| thread_pool.pl -- Resource bounded thread management | ||
| threadutil.pl -- Interactive thread utilities | ||
| attach_console/0 | Create a new console and make the standard Prolog streams point to it. | |
| attach_console/1 | Create a new console and make the standard Prolog streams point to it. | |
| join_threads/0 | Join all terminated threads. | |
| tbacktrace/1 | Print a backtrace for Thread to the stream user_error of the calling thread. | |
| tbacktrace/2 | Print a backtrace for Thread to the stream user_error of the calling thread. | |
| tdebug/0 | Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors. | |
| tdebug/1 | Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors. | |
| thread_has_console/0 | True when the calling thread has an attached console. | |
| threads/0 | List currently known threads with their status. | |
| tnodebug/0 | Disable debug-mode in all threads or the specified Thread. | |
| tnodebug/1 | Disable debug-mode in all threads or the specified Thread. | |
| tprofile/1 | Profile the operation of Thread until the user hits a key. | |
| tspy/1 | Trap the graphical debugger on reaching Spec in the specified or any thread. | |
| tspy/2 | Trap the graphical debugger on reaching Spec in the specified or any thread. | |
| with_stopped_threads/2 | Stop all threads except the caller while running once(Goal). | |
| ugraphs.pl -- Graph manipulation library | ||
| url.pl -- Analysing and constructing URL | ||
| utf8.pl -- UTF-8 encoding/decoding on lists of character codes. | ||
| varnumbers.pl -- Utilities for numbered terms | ||
| wfs.pl -- Well Founded Semantics interface | ||
| when.pl -- Conditional coroutining | ||
| writef.pl | ||
| swritef/2 | Use writef/1 or writef/2 and write the result to a string. | |
| swritef/3 | Use writef/1 or writef/2 and write the result to a string. | |
| writef/1 | Formatted write to the current_output. | |
| writef/2 | Formatted write to the current_output. | |
| www_browser.pl -- Open a URL in the users browser | ||
| yall.pl -- Lambda expressions | ||