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 |
|---|
| $apropos_match/2 | True if Needle is a sub atom of Haystack. | |
| $arch/2 | | |
| $argv/1 | | |
| $declare_module/3 | Used in triple20 particle library. | |
| $home/1 | | |
| $module/2 | | |
| $set_prompt/1 | Set the prompt for the toplevel. | |
| $sig_atomic/1 | Execute Goal without processing signals. | |
| $strip_module/3 | This used to be an internal predicate. | |
| $version/1 | | |
| C/3 | Used to be generated by DCG. | |
| at_initialization/1 | Register goal only to be run if a saved state is restored. | |
| call_cleanup/3 | Call Cleanup with an indication of the reason unified to Catcher. | |
| checklist/2 | | |
| concat/3 | | |
| concat_atom/2 | Concatenate a list of atomic values to an atom. | |
| concat_atom/3 | Concatenate a list of atomic values to an atom, inserting Separator between each consecutive elements. | |
| convert_time/2 | Convert a time-stamp as obtained though get_time/1 into a textual representation using the C-library function ctime(). | |
| convert_time/8 | Convert a time stamp, provided by get_time/1, time_file/2, etc. | |
| current_module/2 | True if Module is a module loaded from File. | |
| current_mutex/3 | | |
| current_thread/2 | | |
| displayq/1 | Write term ignoring operators and quote atoms. | |
| displayq/2 | Write term ignoring operators and quote atoms. | |
| eval_license/0 | | |
| export_list/2 | Module exports the predicates of List. | |
| feature/2 | Control Prolog flags. | |
| flush/0 | | |
| free_variables/2 | Return a list of unbound variables in Term. | |
| hash/1 | Demands PredInd to be indexed using a hash-table. | |
| hash_term/2 | If Term is ground, Hash is unified to an integer representing a hash for Term. | |
| index/1 | Prepare the predicate indicated by Head for multi-argument indexing. | |
| lock_predicate/2 | | |
| merge/3 | Merge the ordered sets List1 and List2 into a new ordered list. | |
| merge_set/3 | Merge the ordered sets Set1 and Set2 into a new ordered set without duplicates. | |
| message_queue_size/2 | True if Queue holds Size terms. | |
| proper_list/1 | Old SWI-Prolog predicate to check for a list that really ends in a []. | |
| read_clause/1 | | |
| read_clause/2 | | |
| read_history/6 | | |
| read_pending_input/3 | | |
| read_variables/2 | | |
| read_variables/3 | | |
| set_base_module/1 | Set the default module from which we inherit. | |
| set_feature/2 | Control Prolog flags. | |
| setup_and_call_cleanup/3 | Call Cleanup once after Goal is finished. | |
| setup_and_call_cleanup/4 | Call Cleanup once after Goal is finished, with Catcher unified to the reason. | |
| sformat/2 | | |
| sformat/3 | | |
| string_to_atom/2 | Bi-directional conversion between string and atom. | |
| string_to_list/2 | Bi-directional conversion between a string and a list of character codes. | |
| sublist/3 | Succeeds if List2 unifies with a list holding those terms for which call(Goal, Elem) succeeds. | |
| substring/4 | Predecessor of sub_string using 1-based Offset. | |
| sumlist/2 | True when Sum is the list of all numbers in List. | |
| thread_at_exit/1 | Register Goal to be called when the calling thread exits. | |
| trie_insert_new/3 | | |
| unlock_predicate/2 | | |
| write_length/3 | | |
| write_ln/1 | | |
| 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 |
|---|
| check_installation.pl -- Check installation issues and features |
|---|
| check_config_files/0 | Examines the locations of config files. | |
| check_installation/0 | Check features of the installed system. | |
| check_installation/1 | As check_installation/0, but additionally returns a list of Component-Problem pairs. | |
| test_installation/0 | Run regression tests in the installed system. | |
| test_installation/1 | Run regression tests in the installed system. | |
| update_config_files/0 | Move config files from their old location to the new if the file or directory exists in the old location but not in the new. | |
| 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 |
|---|
| edit.pl |
|---|
| addr2location/3 | Get the File and Line for a C address. | |
| 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 | | |
| locations/2 | Locate entities matching Spec. | |
| predicate_location/2 | Find the source location of a predicate. | |
| select_location/3 | | |
| 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. | |
| 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 |
|---|
| heaps.pl -- heaps/priority queues |
|---|
| help.pl |
|---|
| apropos/1 | Print objects from the manual whose name or summary match with Query. | |
| help/0 | Show help for What. | |
| help/1 | Show help for What. | |
| help_apropos/4 | Find matching documented objects in the help database. | |
| help_text/2 | When Predicate is a term of the form Name/Arity for which documentation exists, HelpText is the documentation in textual format (parsed from the HTML help). | |
| show_html_hook/1 | Hook called to display the extracted HTML document. | |
| increval.pl -- Incremental dynamic predicate modification |
|---|
| 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 -- List programs and pretty print clauses |
|---|
| 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 -- 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 |
|---|
| 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/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 |
|---|
| 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 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_deps.pl |
|---|
| file_auto_import/2 | Update the autoload/2 directives for File. | |
| file_autoload_directives/3 | Compute the dependencies as autoload/2 directives. | |
| prolog_format.pl -- Analyse format specifications |
|---|
| prolog_jiti.pl -- Just In Time Indexing (JITI) utilities |
|---|
| 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 |
|---|
| 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 |
|---|
| backtrace/1 | Get and print a stacktrace to the user_error stream. | |
| get_prolog_backtrace/2 | Obtain a backtrace from the current location. | |
| get_prolog_backtrace/3 | Obtain a backtrace from the current location. | |
| print_last_choicepoint/0 | Print details on the last open choice point. | |
| print_last_choicepoint/2 | | |
| print_prolog_backtrace/2 | Print a stacktrace in human readable form to Stream. | |
| print_prolog_backtrace/3 | Print a stacktrace in human readable form to Stream. | |
| prolog_stack_frame_property/2 | True when Property is a property of Frame. | |
| stack_guard/1 | Dynamic multifile hook that is normally not defined. | |
| stack_guard/1 | Dynamic multifile predicate. | |
| prolog_trace.pl -- Print access to predicates |
|---|
| 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 |
|---|
| qpforeign.pl |
|---|
| load_foreign_files/0 | Calls make_foreign_wrapper_file(+File), compiles the wrapper and loads the predicates. | |
| load_foreign_files/2 | Calls make_foreign_wrapper_file(+File), compiles the wrapper and loads the predicates. | |
| load_foreign_files/3 | Calls make_foreign_wrapper_file(+File), compiles the wrapper and loads the predicates. | |
| load_foreign_resource/2 | Load a foreign module. | |
| make_foreign_resource_wrapper/3 | Create a wrapper-file for the given foreign resource. | |
| make_foreign_wrapper_file/1 | Just output the wrapper file to the named .c file. | |
| make_foreign_wrapper_file/2 | Just output the wrapper file to the named .c file. | |
| make_shared_object/3 | Generate a wrapper and link it using plld to the given SharedObject. | |
| qsave.pl -- Save current program as a state or executable |
|---|
| 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 -- Read/write locks |
|---|
| 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 |
|---|
| 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 |
|---|
| tableutil.pl -- Table inspection and statistics utilities |
|---|
| 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 or disable a thread or group of threads for debugging using the graphical tracer. | |
| tdebug/1 | Enable or disable a thread or group of threads for debugging using the graphical tracer. | |
| thread_alias/1 | Set the alias for a thread. | |
| thread_has_console/0 | True when the calling thread has an attached console. | |
| threads/0 | List currently known threads with their status. | |
| tnodebug/0 | Enable or disable a thread or group of threads for debugging using the graphical tracer. | |
| tnodebug/1 | Enable or disable a thread or group of threads for debugging using the graphical tracer. | |
| tprofile/1 | Profile the operation of Thread until the user hits a key. | |
| tspy/1 | Trap the graphical debugger on reaching Spec. | |
| tspy/2 | Trap the graphical debugger on reaching Spec. | |
| with_stopped_threads/2 | Stop all threads except the caller while running once(Goal). | |
| tty.pl -- Terminal operations |
|---|
| 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 |
|---|
| vm.pl |
|---|
| clause_vm/2 | True when VM is the virtual machine code of ClauseRef. | |
| vm_list/1 | Lists the definition of the predicates matching Spec to current_output. | |
| vmi_labels/2 | Translated between a raw and a labeled representation for a VMI sequence as produced by clause_vm/2. | |
| 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 |
|---|