aggregate.pl -- Aggregation operators on backtrackable predicates |
|---|
| ansi_term.pl |
|---|
| ansi_format/3 | Format text with ANSI attributes. | |
| ansi_get_color/2 | Obtain the RGB color for an ANSI color parameter. | |
| ansi_hyperlink/2 | Create a hyperlink for a terminal emulator. | |
| ansi_hyperlink/3 | Create a hyperlink for a terminal emulator. | |
| tty_url_hook/2 | Hook for location_url/2. | |
| console_color/2 | Hook that allows for mapping abstract terms to concrete ANSI attributes. | |
| message_line_element/2 | Hook implementation that deals with ansi(+Attr, +Fmt, +Args) in message specifications. | |
| 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 |
|---|
| identifier_parts/2 | Parts is a list of atoms that make up Identifier. | |
| join_identifier_parts/3 | Join parts of an identifier according to Style. | |
| restyle_identifier/3 | Restyle an identifier by extracting the alnum substrings and joining them together according to Style. | |
| backcomp.pl -- Backward compatibility |
|---|
| base32.pl |
|---|
| base32/2 | Translates between plaintext and base32 encoded atom or string. | |
| base32/3 | Encode/decode list of character codes using base32. | |
| base64.pl |
|---|
| base64/2 | Equivalent to base64_encoded/3 using the options as(atom) and encoding(iso_latin_1). | |
| base64/3 | Encode/decode list of character codes using base64. | |
| base64_encoded/3 | General the base64 encoding and decoding. | |
| base64_encoded/4 | | |
| base64url/2 | Translates between plaintext and base64url encoded atom or string. | |
| base64url/3 | Encode/decode list of character codes using Base64URL. | |
| 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 |
|---|
| date_time_value/3 | Extract values from a date-time structure. | |
| day_of_the_week/2 | Computes the day of the week for a given date. | |
| day_of_the_year/2 | Computes the day of the year for a given date. | |
| parse_time/2 | Stamp is a timestamp created from parsing Text using the representation Format. | |
| parse_time/3 | Stamp is a timestamp created from parsing Text using the representation Format. | |
| 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. | |
| 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. | |
| 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 |
|---|
| ht_del/3 | Delete Key-Value from HT. | |
| ht_gen/3 | True when Key-Value is in HT. | |
| ht_get/3 | True when Key is in HT and associated with Value. | |
| ht_is_hashtable/1 | True when HT is a hash table. | |
| ht_keys/2 | True when Keys is an ordered set of all keys in HT. | |
| ht_new/1 | Create a new hash table. | |
| ht_pairs/2 | True when Pairs and HT represent the same association. | |
| ht_put/3 | Add a Key-Value to HT. | |
| ht_put/5 | Add Key-Value to HT. | |
| ht_put_new/3 | As ht_put/3, but fails if Key is already in HT instead of updating the associated value. | |
| ht_size/2 | True when Size is the number of key-value pairs in HT. | |
| ht_update/4 | True when HT holds Key-Old before and Key-New after this call. | |
| heaps.pl |
|---|
| add_to_heap/4 | Adds Key with priority Priority to Heap0, constructing a new heap in Heap. | |
| delete_from_heap/4 | Deletes Key from Heap0, leaving its priority in Priority and the resulting data structure in Heap. | |
| empty_heap/1 | True if Heap is an empty heap. | |
| get_from_heap/4 | Retrieves the minimum-priority pair Priority-Key from Heap0. | |
| heap_size/2 | Determines the number of elements in Heap. | |
| heap_to_list/2 | Constructs a list List of Priority-Element terms, ordered by (ascending) priority. | |
| is_heap/1 | Returns true if X is a heap. | |
| list_to_heap/2 | If List is a list of Priority-Element terms, constructs a heap out of List. | |
| merge_heaps/3 | Merge the two heaps Heap0 and Heap1 in Heap. | |
| min_of_heap/3 | Unifies Key with the minimum-priority element of Heap and Priority with its priority value. | |
| min_of_heap/5 | Gets the two minimum-priority elements from Heap. | |
| singleton_heap/3 | True if Heap is a heap with the single element Priority-Key. | |
| 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 |
|---|
| close_any/1 | Execute the Close closure returned by open_any/5. | |
| open_any/5 | Establish a stream from Specification that should be closed using Close, which can either be called or passed to close_any/1. | |
| 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 |
|---|
| append/2 | Concatenate a list of lists. | |
| append/3 | List1AndList2 is the concatenation of List1 and List2. | |
| clumped/2 | Pairs is a list of Item-Count pairs that represents the run length encoding of Items. | |
| delete/3 | Delete matching elements from a list. | |
| flatten/2 | Is true if FlatList is a non-nested version of NestedList. | |
| intersection/3 | True if Set3 unifies with the intersection of Set1 and Set2. | |
| is_set/1 | True if Set is a proper list without duplicates. | |
| last/2 | Succeeds when Last is the last element of List. | |
| list_to_set/2 | True when Set has the same elements as List in the same order. | |
| max_list/2 | True if Max is the largest number in List. | |
| max_member/2 | True when Max is the largest member in the standard order of terms. | |
| max_member/3 | True when Max is the largest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2. | |
| member/2 | True if Elem is a member of List. | |
| min_list/2 | True if Min is the smallest number in List. | |
| min_member/2 | True when Min is the smallest member in the standard order of terms. | |
| min_member/3 | True when Min is the smallest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2. | |
| nextto/3 | True if Y directly follows X in List. | |
| nth0/3 | True when Elem is the Index'th element of List. | |
| nth0/4 | Select/insert element at index. | |
| nth1/3 | Is true when Elem is the Index'th element of List. | |
| nth1/4 | As nth0/4, but counting starts at 1. | |
| numlist/3 | List is a list [Low, Low+1, ... High]. | |
| permutation/2 | True when Xs is a permutation of Ys. | |
| prefix/2 | True iff Part is a leading substring of Whole. | |
| proper_length/2 | True when Length is the number of elements in the proper list List. | |
| reverse/2 | Is true when the elements of List2 are in reverse order compared to List1. | |
| same_length/2 | Is true when List1 and List2 are lists with the same number of elements. | |
| select/3 | Is true when List1, with Elem removed, results in List2. | |
| select/4 | Select from two lists at the same position. | |
| selectchk/3 | Semi-deterministic removal of first element in List that unifies with Elem. | |
| selectchk/4 | Semi-deterministic version of select/4. | |
| subseq/3 | Is true when SubList contains a subset of the elements of List in the same order and Complement contains all elements of List not in SubList, also in the order they appear in List. | |
| subset/2 | True if all elements of SubSet belong to Set as well. | |
| subtract/3 | Delete all elements in Delete from Set. | |
| sum_list/2 | Sum is the result of adding all numbers in List. | |
| union/3 | True if Set3 unifies with the union of the lists Set1 and Set2. | |
| main.pl -- Provide entry point for scripts |
|---|
| make.pl |
|---|
| make/0 | Reload all source files that have been changed since they were loaded. | |
| make_reload_file/1 | Reload file into the proper module. | |
| modules.pl |
|---|
| current_temporary_module/1 | True when we are executing in the given temporary module context. | |
| in_temporary_module/3 | Run Goal on temporary loaded sources and discard the module and loaded predicates after completion. | |
| nb_set.pl |
|---|
| add_nb_set/2 | Insert Key into the set. | |
| add_nb_set/3 | Insert Key into the set. | |
| empty_nb_set/1 | Create an empty non-backtrackable set. | |
| gen_nb_set/2 | Enumerate the members of a set in the standard order of terms. | |
| nb_set_to_list/2 | Get the elements of a an nb_set. | |
| size_nb_set/2 | Unify Size with the number of elements in the set. | |
| occurs.pl -- Finding and counting sub-terms |
|---|
| operators.pl -- Manage operators |
|---|
| option.pl |
|---|
| dict_options/2 | Convert between an option list and a dictionary. | |
| merge_options/3 | Merge two option sets. | |
| meta_options/3 | Perform meta-expansion on options that are module-sensitive. | |
| option/2 | Get an Option from Options. | |
| option/3 | Get an Option from Options. | |
| select_option/3 | Get and remove Option from Options. | |
| select_option/4 | Get and remove Option with default value. | |
| optparse.pl -- command line parsing |
|---|
| ordsets.pl -- Ordered set manipulation |
|---|
| oset.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 |
|---|
| 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 |
|---|
| clause_info/4 | Fetches source information for the given clause. | |
| clause_info/5 | Fetches source information for the given clause. | |
| clause_name/2 | Provide a suitable description of the indicated clause. | |
| initialization_layout/4 | Find term-layout of :- initialization directives. | |
| make_varnames/5 | Create a Term varnames(...) where each argument contains the name of the variable at that offset. | |
| open_source/2 | Hook into clause_info/5 that opens the stream holding the source for a specific clause. | |
| predicate_name/2 | Describe a predicate as [Module:]Name/Arity. | |
| unify_goal/5 | This hook is called to fix up source code manipulations that result from goal expansions. | |
| unify_term/2 | Unify the two terms, where T2 is created by writing the term and reading it back in, but be aware that rounding problems may cause floating point numbers not to unify. | |
| prolog_code.pl -- Utilities for reasoning about code |
|---|
| prolog_codewalk.pl -- Prolog code walker |
|---|
| prolog_colour.pl |
|---|
| prolog_colourise_query/3 | Colourise a query, to be executed in the context of SourceId. | |
| prolog_colourise_stream/3 | Determine colour fragments for the data on Stream. | |
| prolog_colourise_stream/4 | Determine colour fragments for the data on Stream. | |
| prolog_colourise_term/4 | Colourise the next term on Stream. | |
| syntax_colour/2 | True when a range classified Class must be coloured using Attributes. | |
| vararg_goal_classification/3 | Multifile hookable classification for vararg predicates. | |
| 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 |
|---|
| 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 |
|---|
| format_spec/2 | Parse a format string. | |
| format_spec/3 | DCG for parsing format strings. | |
| format_types/2 | True when Format requires an argument list with terms of the type specified by Types. | |
| 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 |
|---|
| profile/1 | Run once(Goal) under the execution profiler. | |
| profile/2 | Run once(Goal) under the execution profiler. | |
| profile_data/1 | Gather all relevant data from profiler. | |
| profile_procedure_data/2 | Collect data for Pred. | |
| show_profile/1 | Display last collected profiling data. | |
| prolog_source.pl -- Examine Prolog source-files |
|---|
| prolog_stack.pl -- Examine the Prolog stack |
|---|
| 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 |
|---|
| readln.pl |
|---|
| 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 -- Modify solution sequences |
|---|
| sort.pl |
|---|
| statistics.pl -- Get information about resource usage |
|---|
| streams.pl -- Manage Prolog streams |
|---|
| strings.pl -- String utilities |
|---|
| system.pl |
|---|
| lock_predicate/1 | Transform a predicate into a system predicate. | |
| system_mode/1 | Switch the system into system or user mode. | |
| system_module/0 | Any predicate defined after this declaraction uptil the end of the file will become a system predicate. | |
| unlock_predicate/1 | Transform a system predicate into a normal system predicate. | |
| 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 |
|---|
| answer_residual/2 | True when Goal resolves to a tabled predicate and Residual is the residual goal associated with an answer for Goal. | |
| call_delays/2 | True when Goal is true with Delays. | |
| call_residual_program/2 | Call Goal and return the full residual program as a list of Clauses. | |
| delays_residual_program/2 | Given a delay as returned by call_delays/2, produce a set of clauses the represents the complete residual program responsible for these delays, The program contains at least one loop through tnot/1 and is either inconsistent or has multiple models according to the stable model semantics. | |
| when.pl -- Conditional coroutining |
|---|
| www_browser.pl |
|---|
| expand_url_path/2 | Expand URL specifications similar to absolute_file_name/3. | |
| known_browser/2 | True if browser FileBaseName has a remote protocol compatible to Compatible. | |
| www_open_url/1 | Open URL in running version of the users' browser or start a new browser. | |
| yall.pl |
|---|
| //2 | Shorthand for Free/[]>>Lambda. | |
| //3 | Shorthand for Free/[]>>Lambda. | |
| //4 | Shorthand for Free/[]>>Lambda. | |
| //5 | Shorthand for Free/[]>>Lambda. | |
| //6 | Shorthand for Free/[]>>Lambda. | |
| //7 | Shorthand for Free/[]>>Lambda. | |
| //8 | Shorthand for Free/[]>>Lambda. | |
| //9 | Shorthand for Free/[]>>Lambda. | |
| >>/2 | Calls a copy of Lambda. | |
| >>/3 | Calls a copy of Lambda. | |
| >>/4 | Calls a copy of Lambda. | |
| >>/5 | Calls a copy of Lambda. | |
| >>/6 | Calls a copy of Lambda. | |
| >>/7 | Calls a copy of Lambda. | |
| >>/8 | Calls a copy of Lambda. | |
| >>/9 | Calls a copy of Lambda. | |
| is_lambda/1 | True if Term is a valid Lambda expression. | |
| lambda_calls/2 | Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N. | |
| lambda_calls/3 | Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N. | |
| zip.pl |
|---|
| with_zipper/2 | Run Goal while holding ownership over Zipper. | |
| zip_close/1 | Close a zipper. | |
| zip_close/2 | Close a zipper. | |
| zip_open/4 | Create a Zipper, providing access to File. | |
| zipper_file_info/3 | Obtain information about the current zip entry. | |
| zipper_goto/2 | Seek Zipper to a specified entry. | |
| zipper_members/2 | True when Members is the list of file names in the Zipper. | |
| zipper_open_current/3 | Open the current entry as an input stream. | |