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 |
|---|
| format_to_codes/3 | Use format/2 to write to a list of character codes. | |
| format_to_codes/4 | Use format/2 to write to a difference list of character codes. | |
| open_codes_stream/2 | Open Codes as an input stream. | |
| read_from_codes/2 | Read Codes into Term. | |
| read_term_from_codes/3 | Read Codes into Term. | |
| with_output_to_codes/2 | Run Goal with as once/1. | |
| with_output_to_codes/3 | Run Goal with as once/1. | |
| with_output_to_codes/4 | As with_output_to_codes/3, but Stream is unified with the temporary stream. | |
| write_term_to_codes/3 | True when Codes is a string that matches the output of write_term/3 using Options. | |
| write_term_to_codes/4 | True when Codes\Tail is a difference list containing the character codes that matches the output of write_term/3 using Options. | |
| write_to_codes/2 | Codes is a list of character codes produced by write/1 on Term. | |
| write_to_codes/3 | Codes is a difference-list of character codes produced by write/1 on Term. | |
| 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 |
|---|
| dif/2 | Constraint that expresses that Term1 and Term2 never become identical (==/2). | |
| edinburgh.pl -- Some traditional Edinburgh predicates |
|---|
| error.pl |
|---|
| 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. | |
| gensym.pl -- Generate unique symbols |
|---|
| git.pl -- Run GIT commands |
|---|
| heaps.pl -- heaps/priority queues |
|---|
| increval.pl -- Incremental dynamic predicate modification |
|---|
| intercept.pl -- Intercept and signal interface |
|---|
| iostream.pl -- Utilities to deal with streams |
|---|
| lazy_lists.pl |
|---|
| lazy_engine_next/4 | Lazy list iterator for engines. | |
| lazy_findall/3 | True when List is a lazy list containing the instantiations for Template for each answer of Goal. | |
| lazy_findall/4 | True when List is a lazy list containing the instantiations for Template for each answer of Goal. | |
| lazy_get_codes/4 | Lazy list iterator to get character codes from a stream. | |
| lazy_list/2 | Create a lazy list from a callback. | |
| lazy_list/3 | Create a lazy list where the next element is defined by. | |
| lazy_list_iterator/4 | Directive to create a lazy list iterator from a predicate that gets a single next value. | |
| lazy_list_length/2 | True if Len is the length of the materialized lazy list. | |
| lazy_list_materialize/1 | Materialize the lazy list. | |
| lazy_message_queue/4 | Lazy list iterator for message queues. | |
| lazy_read_lines/4 | Lazy list iterator to read lines from Stream. | |
| lazy_read_terms/4 | Turn a stream into a lazy list of Prolog terms. | |
| 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 |
|---|
| occurs.pl -- Finding and counting sub-terms |
|---|
| operators.pl -- Manage operators |
|---|
| option.pl -- Option list processing |
|---|
| optparse.pl |
|---|
| opt_arguments/3 | Extract commandline options according to a specification. | |
| opt_help/2 | True when Help is a help string synthesized from OptsSpec. | |
| opt_parse/4 | Equivalent to opt_parse(OptsSpec, ApplArgs, Opts, PositionalArgs, []). | |
| opt_parse/5 | Parse the arguments Args (as list of atoms) according to OptsSpec. | |
| parse_type/3 | Hook to parse option text Codes to an object of type Type. | |
| ordsets.pl -- Ordered set manipulation |
|---|
| pairs.pl |
|---|
| group_pairs_by_key/2 | Group values with equivalent (==/2) consecutive keys. | |
| map_list_to_pairs/3 | Create a Key-Value list by mapping each element of List. | |
| pairs_keys/2 | Remove the values from a list of Key-Value pairs. | |
| pairs_keys_values/3 | True if Keys holds the keys of Pairs and Values the values. | |
| pairs_values/2 | Remove the keys from a list of Key-Value pairs. | |
| transpose_pairs/2 | Swap Key-Value to Value-Key. | |
| persistency.pl -- Provide persistent dynamic predicates |
|---|
| pio.pl -- Pure I/O |
|---|
| portray_text.pl |
|---|
| portray_text/1 | Switch portraying on or off. | |
| set_portray_text/2 | Set options for portraying. | |
| set_portray_text/3 | Set options for portraying. | |
| pprint.pl -- Pretty Print Prolog terms |
|---|
| predicate_options.pl -- Access and analyse predicate options |
|---|
| prolog_autoload.pl -- Autoload all dependencies |
|---|
| 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_coverage.pl |
|---|
| cov_load_data/2 | Reload coverage data from File. | |
| cov_property/1 | True when coverage analysis satisfies Property. | |
| cov_reset/0 | Discard all collected coverage data. | |
| cov_save_data/2 | Save the coverage information to File. | |
| coverage/1 | As call(Goal), collecting coverage information while Goal is running. | |
| coverage/2 | Collect and optionally report coverage by Goal. | |
| report_hook/2 | This hook is called after the data collection. | |
| show_coverage/1 | Show collected coverage data. | |
| prolog_debug.pl -- User level debugging tools |
|---|
| prolog_format.pl -- Analyse format specifications |
|---|
| prolog_metainference.pl |
|---|
| 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 |
|---|
| quasi_quotation_syntax/2 | True when the quasi quotation syntax Syntax can be loaded from Library. | |
| xref_close_source/2 | Called by prolog_close_source/1 to close a source previously opened by the hook prolog:xref_open_source/2. | |
| xref_open_source/2 | Hook to open an xref SourceID. | |
| directory_source_files/3 | True when Files is a sorted list of Prolog source files in Dir. | |
| file_alias_path/2 | True if file Alias points to Dir. | |
| file_name_on_path/2 | True if OnPath a description of File based on the file search path. | |
| load_quasi_quotation_syntax/2 | Import quasi quotation syntax Syntax from Path into the module specified by the first argument. | |
| path_segments_atom/2 | Translate between a path represented as a/b/c and an atom representing the same path. | |
| prolog_canonical_source/2 | Given a user-specification of a source, generate a unique and indexable identifier for it. | |
| prolog_close_source/1 | Close a stream opened using prolog_open_source/2. | |
| prolog_file_directives/3 | True when Directives is a list of directives that appear in the source file File. | |
| prolog_open_source/2 | Open source with given canonical id (see prolog_canonical_source/2) and remove the #! | |
| prolog_read_source_term/4 | Read a term from a Prolog source-file. | |
| read_source_term_at_location/3 | Try to read a Prolog term form an arbitrary location inside a file. | |
| requires_library/2 | known expansion hooks. | |
| valid_term_position/2 | Check that a Term has an appropriate TermPos layout. | |
| prolog_stack.pl -- Examine the Prolog stack |
|---|
| prolog_versions.pl -- Demand specific (Prolog) versions |
|---|
| prolog_xref.pl -- Prolog cross-referencer data collection |
|---|
| pure_input.pl -- Pure Input from files and streams |
|---|
| quasi_quotations.pl -- Define Quasi Quotation syntax |
|---|
| random.pl -- Random numbers |
|---|
| rbtrees.pl -- Red black trees |
|---|
| readutil.pl -- Read utilities |
|---|
| record.pl |
|---|
| current_record/2 | True if Name is the name of a record defined in the module associated with Term and Term is the user-provided record declaration. | |
| current_record_predicate/2 | True if PI is the predicate indicator for an access predicate to Record. | |
| record/1 | Define access predicates for a compound-term. | |
| sandbox.pl |
|---|
| settings.pl |
|---|
| convert_setting_text/3 | Converts from textual form to Prolog Value. | |
| current_setting/1 | True if Setting is a currently defined setting. | |
| env/2 | Evaluate environment variables on behalf of arithmetic expressions. | |
| env/3 | Evaluate environment variables on behalf of arithmetic expressions. | |
| list_settings/0 | List settings to current_output. | |
| list_settings/1 | List settings to current_output. | |
| load_settings/1 | Load local settings from File. | |
| load_settings/2 | Load local settings from File. | |
| restore_setting/1 | Restore the value of setting Name to its default. | |
| save_settings/0 | Save modified settings to File. | |
| save_settings/1 | Save modified settings to File. | |
| set_setting/2 | Change a setting. | |
| set_setting_default/2 | Change the default for a setting. | |
| setting/2 | True when Name is a currently defined setting with Value. | |
| setting/4 | Define a setting. | |
| setting_property/2 | Query currently defined settings. | |
| shell.pl -- Elementary shell commands |
|---|
| shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects) |
|---|
| solution_sequences.pl |
|---|
| call_nth/2 | True when Goal succeeded for the Nth time. | |
| distinct/1 | True if Goal is true and no previous solution of Goal bound Witness to the same value. | |
| distinct/2 | True if Goal is true and no previous solution of Goal bound Witness to the same value. | |
| group_by/4 | Group bindings of Template that have the same value for By. | |
| limit/2 | Limit the number of solutions. | |
| offset/2 | Ignore the first Count solutions. | |
| order_by/2 | Order solutions according to Spec. | |
| reduced/1 | Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory. | |
| reduced/3 | Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory. | |
| 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 |
|---|
| 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 |
|---|