library

Prolog files

aggregate.pl  -- Aggregation operators on backtrackable predicates
ansi_term.pl  -- Print decorated text to ANSI consoles
ansi_format/3	Format text with 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
archive.pl  -- Access several archive formats
arithmetic.pl  -- Extensible arithmetic
assoc.pl  -- Binary associations
assoc_to_keys/2	True if Keys is the list of keys in Assoc.
assoc_to_list/2	Translate Assoc to a list Pairs of Key-Value pairs.
assoc_to_values/2	True if Values is the list of values in Assoc.
del_assoc/4	True if Key-Value is in Assoc0.
del_max_assoc/4	True if Key-Value is in Assoc0 and Key is the greatest key.
del_min_assoc/4	True if Key-Value is in Assoc0 and Key is the smallest key.
empty_assoc/1	Is true if Assoc is the empty association list.
gen_assoc/3	True if Key-Value is an association in Assoc.
get_assoc/3	True if Key-Value is an association in Assoc.
get_assoc/5	True if Key-Val0 is in Assoc0 and Key-Val is in Assoc.
is_assoc/1	True if Assoc is an association list.
list_to_assoc/2	Create an association from a list Pairs of Key-Value pairs.
map_assoc/2	True if Pred(Value) is true for all values in Assoc.
map_assoc/3	Map corresponding values.
max_assoc/3	True if Key-Value is in Assoc and Key is the largest key.
min_assoc/3	True if Key-Value is in assoc and Key is the smallest key.
ord_list_to_assoc/2	Assoc is created from an ordered list Pairs of Key-Value pairs.
put_assoc/4	Assoc is Assoc0, except that Key is associated with Value.
backcomp.pl  -- Backward compatibility
base32.pl  -- Base32 encoding and decoding
base64.pl  -- Base64 encoding and decoding
base64/2	Translates between plaintext and base64 encoded atom or string.
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
c14n2.pl  -- C14n2 canonical XML documents
cgi.pl  -- Read CGI parameters
charsio.pl  -- I/O on Lists of Character Codes
check.pl  -- Consistency checking
chr.pl
codesio.pl  -- I/O on Lists of Character Codes
coinduction.pl  -- Co-Logic Programming
console_input.pl
complete_input/4	Compute auto completions for the input line BeforeCursor+AfterCursor.
crypt.pl
crypto.pl  -- Cryptography and authentication library
csv.pl  -- Process CSV (Comma-Separated Values) data
csv/3	Prolog DCG to `read/write' CSV data.
csv/4	Prolog DCG to `read/write' CSV data.
csv_options/2	Compiled is the compiled representation of the CSV processing options as they may be passed into csv//2, etc.
csv_read_file/2	Read a CSV file into a list of rows.
csv_read_file/3	Read a CSV file into a list of rows.
csv_read_file_row/3	True when Row is a row in File.
csv_read_row/3	Read the next CSV record from Stream and unify the result with Row.
csv_write_file/2	Write a list of Prolog terms to a CSV file.
csv_write_file/3	Write a list of Prolog terms to a CSV file.
csv_write_stream/3	Write the rows in Data to Stream.
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
doc_files.pl  -- Create stand-alone documentation files
doc_http.pl  -- Documentation server
double_metaphone.pl  -- Phonetic string matching
edinburgh.pl  -- Some traditional Edinburgh predicates
edit.pl  -- Editor interface
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
select_location/3
editline.pl  -- BSD libedit based command line editing
error.pl  -- Error generating support
explain.pl  -- Describe Prolog Terms
files.pl
can_open_file/2	Succeeds if the user has access to `File' in mode `Mode'.
chdir/1	Change Working Directory.
filesex.pl  -- Extended operations on files
gensym.pl  -- Generate unique symbols
git.pl  -- Run GIT commands
hash_stream.pl  -- Maintain a hash on a stream
heaps.pl  -- heaps/priority queues
help.pl
helpidx.pl
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
md5.pl  -- MD5 hashes
memfile.pl
modules.pl  -- Module utility predicates
nb_set.pl  -- Non-backtrackable sets
occurs.pl  -- Finding and counting sub-terms
contains_term/2	Succeeds if Sub is contained in Term (=, deterministically).
contains_var/2	Succeeds if Sub is contained in Term (==, deterministically).
free_of_term/2	Succeeds of Sub does not unify to any subterm of Term.
free_of_var/2	Succeeds of Sub is not equal (==) to any subterm of Term.
occurrences_of_term/3	Count the number of SubTerms in Term.
occurrences_of_var/3	Count the number of SubTerms in Term.
sub_term/2	Generates (on backtracking) all subterms of Term.
sub_var/2	Generates (on backtracking) all subterms (==) of Term.
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
pcre.pl  -- Perl compatible regular expression matching for SWI-Prolog
pengines.pl  -- Pengines: Web Logic Programming Made Easy
pengines_io.pl  -- Provide Prolog I/O for HTML clients
persistency.pl  -- Provide persistent dynamic predicates
pldoc.pl  -- Process source documentation
porter_stem.pl
pprint.pl  -- Pretty Print Prolog terms
predicate_options.pl  -- Access and analyse predicate options
assert_predicate_options/4	As predicate_options(:PI, +Arg, +Options).
check_predicate_option/3	Verify predicate options at runtime.
check_predicate_options/0	Analyse loaded program for erroneous options.
check_predicate_options/1	Verify calls to predicates that have options in all clauses of the predicate indicated by PredicateIndicator.
current_option_arg/2	True when Arg of PI processes predicate options.
current_predicate_option/3	True when Arg of PI processes Option.
current_predicate_options/3	True when Options is the current active option declaration for PI on Arg.
derive_predicate_options/0	Derive new predicate option declarations.
derived_predicate_options/1	Derive predicate option declarations for a module.
derived_predicate_options/3	Derive option arguments using static analysis.
predicate_options/3	Declare that the predicate PI processes options on Arg.
retractall_predicate_options/0	Remove all dynamically (derived) predicate options.
process.pl  -- Create processes and redirect I/O
prolog_autoload.pl  -- Autoload all dependencies
prolog_breakpoints.pl  -- Manage Prolog break-points
breakpoint_property/2	True when Property is a property of the breakpoint Id.
delete_breakpoint/1	Delete breakpoint with given Id.
set_breakpoint/4	Put a breakpoint at the indicated source-location.
set_breakpoint/5	Put a breakpoint at the indicated source-location.
prolog_clause.pl  -- Get detailed source-information about a clause
clause_info/4	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.
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.
prolog_codewalk.pl  -- Prolog code walker
prolog_colour.pl  -- Prolog syntax colouring support.
prolog_format.pl  -- Analyse format specifications
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_metainference.pl  -- Infer meta-predicate properties
prolog_pack.pl  -- A package manager for Prolog
prolog_source.pl  -- Examine Prolog source-files
prolog_stack.pl  -- Examine the Prolog stack
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_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_stream.pl  -- A stream with Prolog callbacks
prolog_xref.pl  -- Prolog cross-referencer data collection
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	Enumerate the predicate-call relations.
xref_called/4	Enumerate the predicate-call relations.
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  -- Save current program as a state or executable
qsave_program/1	Make a saved state in file `File'.
qsave_program/2	Make a saved state in file `File'.
quasi_quotations.pl  -- Define Quasi Quotation syntax
quintus.pl  -- Quintus compatibility
random.pl  -- Random numbers
rbtrees.pl  -- Red black trees
rdf.pl
rdf_ntriples.pl  -- RDF N-triples parser (obsolete)
rdf_parser.pl
rdf_triple.pl  -- Create triples from intermediate representation
rdf_write.pl  -- Write RDF/XML from a list of triples
readline.pl  -- GNU readline interface
rl_add_history/1	Add a line to the history.
rl_read_history/1	Read a saved history from File.
rl_read_init_file/1	Read a GNU readline config file.
rl_write_history/1	Save the history to File.
readutil.pl  -- Read utilities
read_file_to_codes/3	Read the file Spec into a list of Codes.
read_file_to_string/3	Read the file Spec into a the string String.
read_file_to_terms/3	Read the file Spec into a list of terms.
read_line_to_codes/2	Read a line of input from In into a list of character codes.
read_line_to_codes/3	Read a line of input as a difference list.
read_line_to_string/2	Read the next line from Stream into String.
read_stream_to_codes/2	Read input from Stream to a list of character codes.
read_stream_to_codes/3	Read input from Stream to a list of character codes.
record.pl  -- Access compound arguments by name
rewrite.pl
rlimit.pl
sandbox.pl  -- Sandboxed Prolog code
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.
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).
settings.pl  -- Setting management
sgml.pl  -- SGML, XML and HTML parser
sgml_write.pl  -- XML/SGML writer module
sha.pl  -- SHA secure hashes
shell.pl  -- Elementary shell commands
shlib.pl  -- Utility library for loading foreign objects (DLLs, shared objects)
snowball.pl  -- The Snowball multi-lingual stemmer library
socket.pl  -- Network socket (TCP and UDP) library
solution_sequences.pl  -- Modify solution sequences
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
locale_sort/2	Sort a list of atoms using the current locale.
predsort/3	Sorts similar to sort/2, but determines the order of two terms by calling Compare(-Delta, +E1, +E2).
ssl.pl  -- Secure Socket Layer (SSL) library
statistics.pl  -- Get information about resource usage
streampool.pl
syslog.pl  -- Unix syslog interface
system.pl  -- System utilities
table.pl
tabling.pl  -- Tabled execution (SLG WAM)
rename_predicate/2	Hook into term_expansion for post processing renaming of the generated predicate.
safe_directive/1	Allow tabling directives that affect locally defined predicates.
abolish_all_tables/0	Remove all tables.
abolish_table_subgoals/1	Abolish all tables that unify with SubGoal.
current_table/2	True when Trie is the answer table for Variant.
start_tabling/2	Execute Implementation using tabling.
table/1	Prepare the given PredicateIndicators for tabling.
term_to_json.pl
terms.pl  -- Term manipulation
thread.pl  -- High level thread primitives
thread_pool.pl  -- Resource bounded thread management
create_pool/1	Hook to create a thread pool lazily.
current_thread_pool/1	True if Name refers to a defined thread pool.
thread_create_in_pool/4	Create a thread in Pool.
thread_pool_create/3	Create a pool of threads.
thread_pool_destroy/1	Destroy the thread pool named Name.
thread_pool_property/2	True if Property is a property of thread pool Name.
threadutil.pl  -- Interactive thread utilities
time.pl  -- Time and alarm library
tty.pl  -- Terminal operations
menu/3	Show a menu.
tty_clear/0	Clear the display.
tty_flash/0	Give visual signal if possible, otherwise beep.
udp_broadcast.pl  -- A UDP Broadcast Bridge
ugraphs.pl  -- Graph manipulation library
uid.pl  -- User and group management on Unix systems
unicode.pl  -- Unicode string handling
unix.pl  -- Unix specific operations
uri.pl  -- Process URIs
url.pl  -- Analysing and constructing URL
utf8.pl  -- UTF-8 encoding/decoding on lists of character codes.
uuid.pl  -- Universally Unique Identifier (UUID) Library
varnumbers.pl  -- Utilities for numbered terms
when.pl  -- Conditional coroutining
win_menu.pl  -- Console window menu
writef.pl  -- Old-style formatted write
www_browser.pl  -- Open a URL in the users browser
xmldsig.pl  -- XML Digital signature
xmlenc.pl  -- XML encryption library
xpath.pl  -- Select nodes in an XML DOM
xsdp_types.pl  -- XML-Schema primitive types
yall.pl  -- Lambda expressions
//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.
zlib.pl  -- Zlib wrapper for SWI-Prolog