aggregate.pl |
|---|
| aggregate/3 | Aggregate bindings in Goal according to Template. | |
| aggregate/4 | Aggregate bindings in Goal according to Template. | |
| aggregate_all/3 | Aggregate bindings in Goal according to Template. | |
| aggregate_all/4 | Aggregate bindings in Goal according to Template. | |
| foldall/4 | Use Folder to fold V0 to V using all answers of Goal. | |
| foreach/2 | True when the conjunction of instances of Goal created from solutions for Generator is true. | |
| free_variables/4 | Find free variables in bagof/setof template. | |
| safe_meta/2 | Declare the aggregate meta-calls safe. | |
| 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 |
|---|
| check/0 | Run all consistency checks defined by checker/2. | |
| checker/2 | Register code validation routines. | |
| list_autoload/0 | Report predicates that may be auto-loaded. | |
| list_cross_module_calls/0 | List calls from one module to another using Module:Goal where the callee is not defined exported, public or multifile, i.e., where the callee should be considered private. | |
| list_format_errors/0 | List argument errors for format/2,3. | |
| list_format_errors/1 | List argument errors for format/2,3. | |
| list_rationals/0 | List rational numbers that appear in clauses. | |
| list_rationals/1 | List rational numbers that appear in clauses. | |
| list_redefined/0 | Lists predicates that are defined in the global module user as well as in a normal module; that is, predicates for which the local definition overrules the global default definition. | |
| list_strings/0 | List strings that appear in clauses. | |
| list_strings/1 | List strings that appear in clauses. | |
| list_trivial_fails/0 | List goals that trivially fail because there is no matching clause. | |
| list_trivial_fails/1 | List goals that trivially fail because there is no matching clause. | |
| list_undefined/0 | Report undefined predicates. | |
| list_undefined/1 | Report undefined predicates. | |
| list_void_declarations/0 | List predicates that have declared attributes, but no clauses. | |
| string_predicate/1 | Multifile hook to disable list_strings/0 on the given predicate. | |
| trivial_fail_goal/1 | Multifile hook that tells list_trivial_fails/0 to accept Goal as valid. | |
| valid_string_goal/1 | Multifile hook that qualifies Goal as valid for list_strings/0. | |
| 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 -- Editor interface |
|---|
| 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 |
|---|
| 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 |
|---|
| 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 -- 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_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 |
|---|
| 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 |
|---|
| 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 -- 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 |
|---|
| is_ordset/1 | True if Term is an ordered set. | |
| list_to_ord_set/2 | Transform a list into an ordered set. | |
| ord_add_element/3 | Insert an element into the set. | |
| ord_del_element/3 | Delete an element from an ordered set. | |
| ord_disjoint/2 | True if Set1 and Set2 have no common elements. | |
| ord_empty/1 | True when List is the empty ordered set. | |
| ord_intersect/2 | True if both ordered sets have a non-empty intersection. | |
| ord_intersect/3 | Intersection holds the common elements of Set1 and Set2. | |
| ord_intersection/2 | Intersection of a powerset. | |
| ord_intersection/3 | Intersection holds the common elements of Set1 and Set2. | |
| ord_intersection/4 | Intersection and difference between two ordered sets. | |
| ord_memberchk/2 | True if Element is a member of OrdSet, compared using ==. | |
| ord_selectchk/3 | Selectchk/3, specialised for ordered sets. | |
| ord_seteq/2 | True if Set1 and Set2 have the same elements. | |
| ord_subset/2 | Is true if all elements of Sub are in Super. | |
| ord_subtract/3 | Diff is the set holding all elements of InOSet that are not in NotInOSet. | |
| ord_symdiff/3 | Is true when Difference is the symmetric difference of Set1 and Set2. | |
| ord_union/2 | True if Union is the union of all elements in the superset SetOfSets. | |
| ord_union/3 | Union is the union of Set1 and Set2. | |
| ord_union/4 | True iff ord_union(Set1, Set2, Union) and ord_subtract(Set2, Set1, New). | |
| pairs.pl -- Operations on key-value lists |
|---|
| persistency.pl |
|---|
| current_persistent_predicate/1 | True if PI is a predicate that provides access to the persistent database DB. | |
| db_assert/1 | Assert Term into the database and record it for persistency. | |
| db_attach/2 | Use File as persistent database for the calling module. | |
| db_attached/1 | True if the context module attached to the persistent database File. | |
| db_detach/0 | Detach persistency from the calling module and delete all persistent clauses from the Prolog database. | |
| db_retract/1 | Retract terms from the database one-by-one. | |
| db_retractall/1 | Retract all matching facts and do the same in the database. | |
| db_sync/1 | Synchronise database with the associated file. | |
| db_sync_all/1 | Sync all registered databases. | |
| persistent/1 | Declare dynamic database terms. | |
| 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/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_program_clause/2 | True when ClauseRef is a reference for clause in the program. | |
| prolog_walk_code/1 | Walk over all loaded (user) Prolog code. | |
| subterm_pos/5 | True when SubTerm is a sub term of Term, compared using Cmp, TermPosition describes the term layout of Term and SubTermPos describes the term layout of SubTerm. | |
| prolog_colour.pl -- Prolog syntax colouring support. |
|---|
| prolog_coverage.pl -- Coverage analysis tool |
|---|
| 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 |
|---|
| 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_trace.pl -- Print access to predicates |
|---|
| prolog_versions.pl |
|---|
| 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 |
|---|
| 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 |
|---|
| called_by/2 | If this succeeds, the cross-referencer assumes Goal may call any of the goals in ListOfCalled. | |
| called_by/4 | True when Called is a list of callable terms called from Goal, handled by the predicate Module:Goal and executed in the context of the module Context. | |
| hook/1 | True if Goal is a hook that is called spontaneously (e.g., from foreign code). | |
| meta_goal/2 | Define meta-predicates. | |
| xref_called/3 | True when By is called from Called in Source. | |
| xref_called/4 | True when By is called from Called in Source. | |
| xref_called/5 | True when By is called from Called in Source. | |
| xref_clean/1 | Reset the database for the given source. | |
| xref_comment/3 | Is true when Source has a section comment with Title and Comment. | |
| xref_comment/4 | Is true when Head in Source has the given PlDoc comment. | |
| xref_current_source/1 | Check what sources have been analysed. | |
| xref_defined/3 | Test if Goal is accessible in Source. | |
| xref_definition_line/2 | If the 3th argument of xref_defined contains line info, return this in Line. | |
| xref_done/2 | Cross-reference executed at Time. | |
| xref_exported/2 | True when Source exports Head. | |
| xref_hook/1 | Definition of known hooks. | |
| xref_meta/2 | True when Called is a list of terms called from Head. | |
| xref_meta/3 | True when Head calls Called in Source. | |
| xref_mode/3 | Is true when Source provides a predicate with Mode and determinism. | |
| xref_module/2 | True if Module is defined in Source. | |
| xref_op/2 | Give the operators active inside the module. | |
| xref_option/2 | True when Source was processed using Option. | |
| xref_prolog_flag/4 | True when Flag is set to Value at Line in Source. | |
| xref_public_list/3 | Find meta-information about File. | |
| xref_public_list/4 | Find meta-information about File. | |
| xref_public_list/6 | Find meta-information about File. | |
| xref_public_list/7 | Find meta-information about File. | |
| xref_source/1 | Generate the cross-reference data for Source if not already done and the source is not modified. | |
| xref_source/2 | Generate the cross-reference data for Source if not already done and the source is not modified. | |
| xref_source_file/3 | Find named source file from Spec, relative to Src. | |
| xref_source_file/4 | Find named source file from Spec, relative to Src. | |
| xref_uses_file/3 | True when Source tries to load a file using Spec. | |
| 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 |
|---|
| sandbox.pl -- Sandboxed Prolog code |
|---|
| 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. | |
| 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 |
|---|
| dedent_lines/3 | Remove shared indentation for all lines in a string. | |
| indent_lines/3 | Add Prefix to the beginning of lines in In. | |
| indent_lines/4 | Similar to indent_lines/3, but only adds Prefix to lines for which call(Filter, Line) succeeds. | |
| interpolate_string/4 | Establish a string from a template by replacing patterns. | |
| string/4 | Implements the quasi quotation syntax string. | |
| string_lines/2 | True when String represents Lines. | |
| system.pl -- System utilities |
|---|
| tables.pl -- XSB interface to tables |
|---|
| terms.pl -- Term manipulation |
|---|
| thread.pl |
|---|
| call_in_thread/2 | Run Goal as an interrupt in the context of Thread. | |
| concurrent/3 | Run Goals in parallel using N threads. | |
| concurrent_and/2 | Concurrent version of (Generator,Test). | |
| concurrent_and/3 | Concurrent version of (Generator,Test). | |
| concurrent_forall/2 | True when Action is true for all solutions of Generate. | |
| concurrent_forall/3 | True when Action is true for all solutions of Generate. | |
| concurrent_maplist/2 | Concurrent version of maplist/2. | |
| concurrent_maplist/3 | Concurrent version of maplist/2. | |
| concurrent_maplist/4 | Concurrent version of maplist/2. | |
| first_solution/3 | Try alternative solvers concurrently, returning the first answer. | |
| 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 |
|---|
| www_browser.pl -- Open a URL in the users browser |
|---|
| yall.pl -- Lambda expressions |
|---|
| zip.pl -- Access resource ZIP archives |
|---|