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 |
|---|
| apply_macros_sentinel/0 | Used to detect that library(apply_macros) is loaded into the current context explicitly. | |
| expand_phrase/2 | Provide goal-expansion for PhraseGoal. | |
| expand_phrase/4 | Provide goal-expansion for PhraseGoal. | |
| 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 |
|---|
| atom_to_chars/2 | Convert Atom into a list of character codes. | |
| atom_to_chars/3 | Convert Atom into a difference list of character codes. | |
| format_to_chars/3 | Use format/2 to write to a list of character codes. | |
| format_to_chars/4 | Use format/2 to write to a difference list of character codes. | |
| number_to_chars/2 | Convert Atom into a list of character codes. | |
| number_to_chars/3 | Convert Number into a difference list of character codes. | |
| open_chars_stream/2 | Open Codes as an input stream. | |
| read_from_chars/2 | Read Codes into Term. | |
| read_term_from_chars/3 | Read Codes into Term. | |
| with_output_to_chars/2 | Run Goal as with once/1. | |
| with_output_to_chars/3 | Run Goal as with once/1. | |
| with_output_to_chars/4 | Same as with_output_to_chars/3 using an explicit stream. | |
| write_to_chars/2 | Write a term to a code list. | |
| write_to_chars/3 | Write a term to a code list. | |
| 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 |
|---|
| debug/0 | Switch on/off debug mode. | |
| display/1 | Write a term, ignoring operators and special syntax constructs such as brace terms ({a}) and lists ([a,b,c]). | |
| display/2 | Write a term, ignoring operators and special syntax constructs such as brace terms ({a}) and lists ([a,b,c]). | |
| fileerrors/2 | Query and change the fileerrors flag. | |
| nodebug/0 | Switch on/off debug mode. | |
| reconsult/1 | Load source file(s), wiping the old content first. | |
| unknown/2 | Edinburgh Prolog predicate for dealing dealing with undefined procedures. | |
| edit.pl |
|---|
| edit/0 | Edit associated or script file. | |
| edit/1 | Edit indicated object. | |
| edit_command/2 | This predicate should specify the shell-command called to invoke the user's editor. | |
| locate/2 | Locate object from the specified location. | |
| locate/3 | | |
| select_location/3 | | |
| error.pl |
|---|
| exceptions.pl -- Exception classification |
|---|
| explain.pl -- Describe Prolog Terms |
|---|
| fastrw.pl |
|---|
| fast_read/1 | The next term is read from current standard input and is unified with Term. | |
| fast_write/1 | Output Term in a way that fast_read/1 and fast_read/2 will be able to read it back. | |
| fast_write_to_string/3 | Perform a fast-write to the difference-slist String\Tail. | |
| files.pl |
|---|
| can_open_file/2 | Succeeds if the user has access to `File' in mode `Mode'. | |
| chdir/1 | Change Working Directory. | |
| gensym.pl -- Generate unique symbols |
|---|
| git.pl -- Run GIT commands |
|---|
| hashtable.pl -- Hash tables |
|---|
| heaps.pl -- heaps/priority queues |
|---|
| help.pl -- Text based manual |
|---|
| increval.pl |
|---|
| incr_directly_depends/2 | True if Goal1 depends on Goal2 in the IDG. | |
| incr_invalid_subgoals/1 | List is a sorted list (set) of the incremental subgoals that are currently invalid. | |
| incr_invalidate_call/1 | This is the XSB name, but the manual says incr_invalidate_calls/1 and the comment with the code suggests this is misnamed. | |
| incr_invalidate_calls/1 | Invalidate all tables for subgoals of Goal as well as tables that are affected by these. | |
| incr_is_invalid/1 | True when Subgoal's table is marked as invalid. | |
| incr_propagate_calls/1 | Activate the monotonic answer propagation similarly to when a new fact is asserted for a monotonic dynamic predicate. | |
| incr_table_update/0 | Updated all invalid tables. | |
| incr_trans_depends/2 | True for each pair in the transitive closure of incr_directly_depends(G1, G2). | |
| is_incremental_subgoal/1 | This predicate non-deterministically unifies Subgoal with incrementally tabled subgoals that are currently table entries. | |
| intercept.pl |
|---|
| intercept/3 | Run Goal as call/1. | |
| intercept/4 | Similar to intercept/3, but the copy of Handler is called as call(Copy,Arg), which allows passing large context arguments or arguments subject to unification or destructive assignment. | |
| intercept_all/4 | True when List contains all instances of Template that have been sent using send_signal/1 where the argument unifies with Ball. | |
| nb_intercept_all/4 | As intercept_all/4, but backtracing inside Goal does not reset List. | |
| send_signal/1 | If this predicate is called from a sub-goal of intercept/3, execute the associated Handler of the intercept/3 environment. | |
| send_silent_signal/1 | As send_signal/1, but succeed silently if there is no matching intercept environment. | |
| iostream.pl -- Utilities to deal with streams |
|---|
| lazy_lists.pl -- Lazy list handling |
|---|
| listing.pl |
|---|
| listing/0 | Lists all predicates defined in the calling module. | |
| listing/1 | List matching clauses. | |
| listing/2 | List matching clauses. | |
| portray_clause/1 | Portray `Clause' on the current output stream. | |
| portray_clause/2 | Portray `Clause' on the current output stream. | |
| portray_clause/3 | Portray `Clause' on the current output stream. | |
| lists.pl -- List Manipulation |
|---|
| macros.pl |
|---|
| expand_macros/5 | Perform macro expansion on TermIn with layout PosIn to produce TermOut with layout PosOut. | |
| include_macros/3 | Include macros from another module. | |
| macro_position/1 | True when Position is the position of the macro. | |
| main.pl |
|---|
| argv_options/3 | Parse command line arguments. | |
| argv_options/4 | As argv_options/3 in guided mode, Currently this version allows parsing argument options throwing an exception rather than calling halt/1 by passing an empty list to ParseOptions. | |
| argv_usage/1 | Use print_message/2 to print a usage message at Level. | |
| cli_debug_opt_help/2 | Implements opt_type/3, opt_help/2 and opt_meta/2 for debug arguments. | |
| cli_debug_opt_meta/2 | Implements opt_type/3, opt_help/2 and opt_meta/2 for debug arguments. | |
| cli_debug_opt_type/3 | Implements opt_type/3, opt_help/2 and opt_meta/2 for debug arguments. | |
| cli_enable_development_system/0 | Re-enable the development environment. | |
| cli_parse_debug_options/2 | Parse certain commandline options for debugging and development purposes. | |
| main/0 | Call main/1 using the passed command-line arguments. | |
| make.pl -- Reload modified source files |
|---|
| modules.pl -- Module utility predicates |
|---|
| 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 |
|---|
| oset.pl -- Ordered set manipulation |
|---|
| pairs.pl -- Operations on key-value lists |
|---|
| persistency.pl -- Provide persistent dynamic predicates |
|---|
| pio.pl -- Pure I/O |
|---|
| portray_text.pl -- Portray text |
|---|
| pprint.pl -- Pretty Print Prolog terms |
|---|
| predicate_options.pl -- Access and analyse predicate options |
|---|
| prolog_autoload.pl -- Autoload all dependencies |
|---|
| prolog_breakpoints.pl |
|---|
| breakpoint_property/2 | True when Property is a property of the breakpoint Id. | |
| delete_breakpoint/1 | Delete breakpoint with given Id. | |
| set_breakpoint/4 | Put a breakpoint at the indicated source-location. | |
| set_breakpoint/5 | Put a breakpoint at the indicated source-location. | |
| set_breakpoint_condition/2 | Set a condition for of the breakpoint with given Id. | |
| prolog_clause.pl |
|---|
| prolog_code.pl |
|---|
| body_term_calls/2 | True when BodyTerm calls Goal. | |
| comma_list/2 | True if CommaList is a nested term over the ','/2 (';'/2) functor and List is a list expressing the elements of the conjunction. | |
| extend_goal/3 | Extend the possibly qualified Goal0 with additional arguments from Extra. | |
| head_name_arity/3 | Similar to functor/3, but deals with SWI-Prolog's zero-argument callable terms and avoids creating a non-callable term if Name is not an atom and Arity is zero. | |
| is_control_goal/1 | True if Goal is a compiled Prolog control structure. | |
| is_predicate_indicator/1 | True when Term is a predicate indicator. | |
| mkconj/3 | Create a conjunction or disjunction from two terms. | |
| mkdisj/3 | Create a conjunction or disjunction from two terms. | |
| most_general_goal/2 | General is the most general version of Goal. | |
| pi_head/2 | Translate between a PredicateIndicator and a Goal term. | |
| predicate_label/2 | Create a human-readable label for the given predicate indicator. | |
| predicate_sort_key/2 | Key is the (module-free) name of the predicate for sorting purposes. | |
| semicolon_list/2 | True if CommaList is a nested term over the ','/2 (';'/2) functor and List is a list expressing the elements of the conjunction. | |
| prolog_codewalk.pl -- Prolog code walker |
|---|
| prolog_colour.pl -- Prolog syntax colouring support. |
|---|
| prolog_config.pl |
|---|
| prolog_config/2 | Get information on the configuration of the current Prolog system. | |
| prolog_dump_runtime_variables/0 | Dump the current configuration in shell format. | |
| prolog_coverage.pl -- Coverage analysis tool |
|---|
| 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_metainference.pl -- Infer meta-predicate properties |
|---|
| infer_meta_predicate/2 | True when MetaSpec is a meta-predicate specifier for the predicate Head. | |
| inferred_meta_predicate/2 | True when MetaSpec is an inferred meta-predicate specification for Head. | |
| 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 -- Print access to predicates |
|---|
| prolog_versions.pl -- Demand specific (Prolog) versions |
|---|
| cmp_versions/3 | Compare to versions. | |
| require_prolog_version/2 | Claim that the running Prolog version is at least version Required and provides the requested Features. | |
| require_version/3 | Require Component to have version CmpRequired, while Component is know to have version Available. | |
| prolog_wrap.pl -- Wrapping predicates |
|---|
| current_predicate_wrapper/4 | True if Head is wrapped with Body. | |
| unwrap_predicate/2 | Remove the outermost wrapper whose name unifies with Name. | |
| wrap_predicate/4 | Wrap the predicate referenced by Head using Body. | |
| prolog_xref.pl -- Prolog cross-referencer data collection |
|---|
| pure_input.pl -- Pure Input from files and streams |
|---|
| qsave.pl |
|---|
| arch_shlib/3 | This is a user defined hook called by qsave_program/2. | |
| qsave_program/1 | Make a saved state in file `File'. | |
| qsave_program/2 | Make a saved state in file `File'. | |
| qsave_toplevel/0 | Called to handle `-c file` compilaton. | |
| quasi_quotations.pl -- Define Quasi Quotation syntax |
|---|
| quintus.pl -- Quintus compatibility |
|---|
| random.pl -- Random numbers |
|---|
| rbtrees.pl -- Red black trees |
|---|
| readln.pl |
|---|
| readutil.pl -- Read utilities |
|---|
| record.pl -- Access compound arguments by name |
|---|
| rwlocks.pl |
|---|
| with_rwlock/3 | Run Goal, synchronized with LockId in ModeSpec. | |
| with_rwlock/4 | Run Goal, synchronized with LockId in ModeSpec. | |
| sandbox.pl |
|---|
| sandbox_allowed_directive/1 | Throws an exception if G is not considered a safe directive. | |
| sandbox_allowed_expansion/1 | Throws an exception if G is not considered a safe expansion goal. | |
| sandbox_allowed_goal/1 | Throw an exception if it is not safe to call G. | |
| format_calls/3 | Find ~@ calls from Format and Args. | |
| safe_call/1 | Call Goal if it complies with the sandboxing rules. | |
| safe_directive/1 | Hook to declare additional directives as safe. | |
| safe_global_variable/1 | Declare the given global variable safe to write to. | |
| safe_goal/1 | True if calling Goal provides no security risc. | |
| safe_meta/2 | Hook. | |
| safe_primitive/1 | True if Goal is safe to call (i.e., cannot access dangerous system-resources and cannot upset other parts of the Prolog process). | |
| safe_prolog_flag/2 | True if it is safe to set the flag Flag to Value. | |
| settings.pl -- Setting management |
|---|
| shell.pl -- Elementary shell commands |
|---|
| 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 |
|---|
| streams.pl -- Manage Prolog streams |
|---|
| with_output_to/3 | Run Goal and once/1 while capturing all output to all streams (current_output, user_output and user_error) in the string Output. | |
| 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 |
|---|
| tty.pl |
|---|
| menu/3 | Show a menu. | |
| tty_clear/0 | Clear the display. | |
| tty_flash/0 | Give visual signal if possible, otherwise beep. | |
| 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 -- Old-style formatted write |
|---|
| www_browser.pl -- Open a URL in the users browser |
|---|
| yall.pl -- Lambda expressions |
|---|
| zip.pl -- Access resource ZIP archives |
|---|