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 -- I/O on Lists of Character Codes![]() | ||
coinduction.pl -- Co-Logic Programming![]() | ||
csv.pl -- Process CSV (Comma-Separated Values) data![]() | ||
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![]() | ||
error.pl![]() | ||
gensym.pl -- Generate unique symbols![]() | ||
git.pl -- Run GIT commands![]() | ||
hashtable.pl -- Hash tables![]() | ||
heaps.pl -- heaps/priority queues![]() | ||
intercept.pl -- Intercept and signal interface![]() | ||
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![]() | ||
main.pl -- Provide entry point for scripts![]() | ||
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![]() | ||
ordsets.pl -- Ordered set manipulation![]() | ||
pairs.pl -- Operations on key-value lists![]() | ||
persistency.pl -- Provide persistent dynamic predicates![]() | ||
pio.pl -- Pure I/O![]() | ||
pprint.pl -- Pretty Print Prolog terms![]() | ||
predicate_options.pl -- Access and analyse predicate options![]() | ||
prolog_breakpoints.pl -- Manage Prolog break-points![]() | ||
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_colour.pl -- Prolog syntax colouring support.![]() | ||
prolog_debug.pl -- User level debugging tools![]() | ||
prolog_format.pl -- Analyse format specifications![]() | ||
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_trace.pl -- Print access to predicates![]() | ||
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 -- Access compound arguments by name![]() | ||
sandbox.pl![]() | ||
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![]() | ||
system.pl -- System utilities![]() | ||
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![]() | ||
www_browser.pl -- Open a URL in the users browser![]() | ||
yall.pl -- Lambda expressions![]() | ||
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. | |