aggregate.pl -- Aggregation operators on backtrackable predicates |
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. | |
foreach/2 | True if conjunction of results 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 |
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 |
convlist/3 | Similar to maplist/3, but elements for which call(Goal, ElemIn, _) fails are omitted from ListOut. | |
exclude/3 | Filter elements for which Goal fails. | |
foldl/4 | Fold a list, using arguments of the list as left argument. | |
foldl/5 | Fold a list, using arguments of the list as left argument. | |
foldl/6 | Fold a list, using arguments of the list as left argument. | |
foldl/7 | Fold a list, using arguments of the list as left argument. | |
include/3 | Filter elements for which Goal succeeds. | |
maplist/2 | True if Goal can successfully be applied on all elements of List. | |
maplist/3 | As maplist/2, operating on pairs of elements from two lists. | |
maplist/4 | As maplist/2, operating on triples of elements from three lists. | |
maplist/5 | As maplist/2, operating on quadruples of elements from four lists. | |
partition/4 | Filter elements of List according to Pred. | |
partition/5 | Filter List according to Pred in three sets. | |
scanl/4 | Left scan of list. | |
scanl/5 | Left scan of list. | |
scanl/6 | Left scan of list. | |
scanl/7 | Left scan of list. | |
apply_macros.pl -- Goal expansion rules to avoid meta-calling |
expand_phrase/2 | Provide goal-expansion for PhraseGoal. | |
expand_phrase/4 | Provide goal-expansion for PhraseGoal. | |
archive.pl -- Access several archive formats |
archive_close/1 | Close the archive. | |
archive_create/3 | Convenience predicate to create an archive in OutputFile with data from a list of InputFiles and the given Options. | |
archive_data_stream/3 | True when DataStream is a stream to a data object inside Archive. | |
archive_entries/2 | True when Paths is a list of pathnames appearing in Archive. | |
archive_extract/3 | Extract files from the given archive into Dir. | |
archive_header_property/2 | True when Property is a property of the current header. | |
archive_next_header/2 | Forward to the next entry of the archive for which Name unifies with the pathname of the entry. | |
archive_open/4 | Open the archive in Data and unify Archive with a handle to the opened archive. | |
archive_open_entry/2 | Open the current entry as a stream. | |
archive_property/2 | True when Property is a property of the archive Handle. | |
archive_set_header_property/2 | Set Property of the current header. | |
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 |
$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. | |
$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. | |
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 Seperator 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_pending_input/3 | | |
read_variables/2 | | |
read_variables/3 | | |
set_base_module/1 | Set the default module from whic 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 wich call(Goal, Elem) succeeds. | |
substring/4 | Predecessor of sub_string using 1-based Offset. | |
subsumes/2 | True if Generic is unified to Specific without changing Specific. | |
subsumes_chk/2 | True if Generic can be made equivalent to Specific without changing Specific. | |
sumlist/2 | True when Sum is the list of all numbers in List. | |
trie_insert_new/3 | | |
unlock_predicate/2 | | |
write_ln/1 | | |
base32.pl -- Base32 encoding and decoding |
base32/2 | Translates between plaintext and base32 encoded atom or string. | |
base32/3 | Encode/decode list of character codes using base32. | |
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 |
broadcast/1 | Broadcast given event. | |
broadcast_request/1 | Broadcast given event till accepted. | |
listen/2 | Open a channel for listening for events of the given `Templ'. | |
listen/3 | Open a channel for listening for events of the given `Templ'. | |
listening/3 | returns currently open channels. | |
unlisten/1 | Destroy a channel. | |
unlisten/2 | Destroy a channel. | |
unlisten/3 | Destroy a channel. | |
c14n2.pl -- C14n2 canonical XML documents |
xml_write_canonical/3 | Write an XML DOM using the canonical conventions as defined by C14n2. | |
cgi.pl -- Read CGI parameters |
cgi_get_form/1 | Decodes standard input and the environment variables to obtain a list of arguments passed to the CGI script. | |
charsio.pl -- I/O on Lists of Character Codes |
atom_to_chars/2 | Convert Atom into a list of character codes. | |
atom_to_chars/3 | Convert Atom into a difference list of character codes. | |
format_to_chars/3 | Use format/2 to write to a list of character codes. | |
format_to_chars/4 | Use format/2 to write to a difference list of character codes. | |
number_to_chars/2 | Convert Atom into a list of character codes. | |
number_to_chars/3 | Convert Number into a difference list of character codes. | |
open_chars_stream/2 | Open Codes as an input stream. | |
read_from_chars/2 | Read Codes into Term. | |
read_term_from_chars/3 | Read Codes into Term. | |
with_output_to_chars/2 | Run Goal as with once/1. | |
with_output_to_chars/3 | Run Goal as with once/1. | |
with_output_to_chars/4 | Same as with_output_to_chars/3 using an explicit stream. | |
write_to_chars/2 | Write a term to a code list. | |
write_to_chars/3 | Write a term to a code list. | |
check.pl -- Consistency checking |
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_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. | |
chr.pl |
debug_ask_continue/1 | Hook to ask for a CHR debug continuation. | |
debug_event/2 | Hook into the CHR debugger. | |
debug_interact/3 | Hook into the CHR debugger to display Event and ask for the next command to execute. | |
console_input.pl |
crypt.pl |
crypto.pl -- Cryptography and authentication library |
crypto_context_hash/2 | Obtain the hash code of Context. | |
crypto_context_new/2 | Context is unified with the empty context, taking into account Options. | |
crypto_curve_generator/2 | Point is the generator of the elliptic curve Curve. | |
crypto_curve_order/2 | Obtain the order of an elliptic curve. | |
crypto_curve_scalar_mult/4 | R is the result of N times Point on the elliptic curve Curve. | |
crypto_data_context/3 | Context0 is an existing computation context, and Context is the new context after hashing Data in addition to the previously hashed data. | |
crypto_data_decrypt/6 | Decrypt the given CipherText, using the symmetric algorithm Algorithm, key Key, and initialization vector IV, to give PlainText. | |
crypto_data_encrypt/6 | Encrypt the given PlainText, using the symmetric algorithm Algorithm, key Key, and initialization vector (or nonce) IV, to give CipherText. | |
crypto_data_hash/3 | Hash is the hash of Data. | |
crypto_data_hkdf/4 | Concentrate possibly dispersed entropy of Data and then expand it to the desired length. | |
crypto_file_hash/3 | True if Hash is the hash of the content of File. | |
crypto_generate_prime/3 | Generate a prime P with at least N bits. | |
crypto_is_prime/2 | True iff P passes a probabilistic primality test. | |
crypto_modular_inverse/3 | Compute the modular multiplicative inverse of the integer X. | |
crypto_n_random_bytes/2 | Bytes is unified with a list of N cryptographically secure pseudo-random bytes. | |
crypto_name_curve/2 | Obtain a handle for a named elliptic curve. | |
crypto_open_hash_stream/3 | Open a filter stream on OrgStream that maintains a hash. | |
crypto_password_hash/2 | If Hash is instantiated, the predicate succeeds iff the hash matches the given password. | |
crypto_password_hash/3 | Derive Hash based on Password. | |
crypto_stream_hash/2 | Unify Hash with a hash for the bytes sent to or read from HashStream. | |
ecdsa_sign/4 | Create an ECDSA signature for Data with EC private key Key. | |
ecdsa_verify/4 | True iff Signature can be verified as the ECDSA signature for Data, using the EC public key Key. | |
hex_bytes/2 | Relation between a hexadecimal sequence and a list of bytes. | |
rsa_private_decrypt/4 | RSA Public key encryption and decryption primitives. | |
rsa_private_encrypt/4 | RSA Public key encryption and decryption primitives. | |
rsa_public_decrypt/4 | RSA Public key encryption and decryption primitives. | |
rsa_public_encrypt/4 | RSA Public key encryption and decryption primitives. | |
rsa_sign/4 | Create an RSA signature for Data with private key Key. | |
rsa_verify/4 | Verify an RSA signature for Data with public key Key. | |
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 |
is_digit/3 | Succeeds if `C' is a digit using `Base' as base and `Weight' represents its value. | |
is_paren/2 | True if Open is the open-parenthesis of Close. | |
to_lower/2 | Downcase a character code. | |
to_upper/2 | Upcase a character code. | |
upper_lower/2 | True when U is the character code of an uppercase character and L is the character code of the corresponding lowercase character. | |
date.pl -- Process dates and times |
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 |
assertion_failed/2 | This hook is called if the Goal of assertion/1 fails. | |
debug_print_hook/3 | Hook called by debug/3. | |
assertion/1 | Acts similar to C assert() macro. | |
debug/1 | Add/remove a topic from being printed. | |
debug/3 | Format a message if debug topic is enabled. | |
debug_message_context/1 | Specify additional context for debug messages. | |
debugging/1 | Examine debug topics. | |
debugging/2 | Examine debug topics. | |
list_debug_topics/0 | List currently known debug topics and their setting. | |
nodebug/1 | Add/remove a topic from being printed. | |
dialect.pl -- Support multiple Prolog dialects |
dicts.pl -- Dict utilities |
dict_fill/4 | Implementation for the dicts_to_same_keys/3 OnEmpty closure that fills new cells with a copy of ValueIn. | |
dict_keys/2 | True when Keys is an ordered set of the keys appearing in Dict. | |
dicts_join/3 | Join dicts in Dicts that have the same value for Key, provided they do not have conflicting values on other keys. | |
dicts_join/4 | Join two lists of dicts (Dicts1 and Dicts2) on Key. | |
dicts_same_keys/2 | True if List is a list of dicts that all have the same keys and Keys is an ordered set of these keys. | |
dicts_same_tag/2 | True when List is a list of dicts that all have the tag Tag. | |
dicts_slice/3 | DictsOut is a list of Dicts only containing values for Keys. | |
dicts_to_compounds/4 | True when Dicts and Compounds are lists of the same length and each element of Compounds is a compound term whose arguments represent the values associated with the corresponding keys in Keys. | |
dicts_to_same_keys/3 | DictsOut is a copy of DictsIn, where each dict contains all keys appearing in all dicts of DictsIn. | |
dif.pl -- The dif/2 constraint |
dif/2 | Constraint that expresses that Term1 and Term2 never become identical (==/2). | |
doc_files.pl -- Create stand-alone documentation files |
doc_save/2 | Save documentation for FileOrDir to file(s) . | |
doc_http.pl -- Documentation server |
doc_browser/0 | Open user's default browser on the documentation server. | |
doc_browser/1 | Open user's default browser on the documentation server. | |
doc_enable/1 | Actually activate the PlDoc server. | |
doc_server/1 | Start a documentation server in the current Prolog process. | |
doc_server/2 | Start a documentation server in the current Prolog process. | |
double_metaphone.pl -- Phonetic string matching |
double_metaphone/2 | Same as double_metaphone/3, but only returning the primary metaphone. | |
double_metaphone/3 | Create metaphone and alternative metaphone from In. | |
edinburgh.pl -- Some traditional Edinburgh predicates |
debug/0 | Switch on/off debug mode. | |
display/1 | Write a term, ignoring operators. | |
display/2 | Write a term, ignoring operators. | |
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 |
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 |
el_add_history/2 | Add a line to the command line history. | |
el_addfn/4 | Add a new command to the command line editor associated with Input. | |
el_bind/2 | Invoke the libedit bind command with the given arguments. | |
el_cursor/2 | Move the cursor Move character forwards (positive) or backwards (negative). | |
el_deletestr/2 | Delete Count characters before the cursor. | |
el_history/2 | Perform a generic action on the history. | |
el_history_events/2 | Unify Events with a list of pairs of the form Num-String , where Num is the event number and String is the associated string without terminating newline. | |
el_insertstr/2 | Insert Text at the cursor. | |
el_line/2 | Fetch the currently buffered input line. | |
el_read_history/2 | Read the history saved using el_write_history/2. | |
el_setup/1 | This hooks is called as forall(el_setup(Input), true) after the input stream has been wrapped, the default Prolog commands have been added and the default user setup file has been sourced using el_source/2. | |
el_source/2 | Initialise editline by reading the contents of File. | |
el_unwrap/1 | Remove the libedit wrapper for In and the related output and error streams. | |
el_wrap/0 | Enable using editline on the standard user streams if user_input is connected to a terminal. | |
el_wrap/4 | Enable editline on the stream-triple <In,Out,Error>. | |
el_wrapped/1 | True if In is a stream wrapped by el_wrap/3. | |
el_write_history/2 | Save editline history to File. | |
error.pl -- Error generating support |
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 | Term is of the correct type and correct domain, but there is no existing (external) resource that is represented by it. | |
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 Action on the object Term that is of the given Type. | |
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 Term is not of the expected Type. | |
uninstantiation_error/1 | An argument is over-instantiated. | |
explain.pl -- Describe Prolog Terms |
explain/1 | Write all information known about Term to the current output. | |
explain/2 | Explanation describes information about Term. | |
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 |
copy_directory/2 | Copy the contents of the directory From to To (recursively). | |
copy_file/2 | Copy a file into a new file or directory. | |
delete_directory_and_contents/1 | Recursively remove the directory Dir and its contents. | |
delete_directory_contents/1 | Remove all content from directory Dir, without removing Dir itself. | |
directory_file_path/3 | True when Path is the full path-name for File in Dir. | |
link_file/3 | Create a link in the filesystem from NewPath to OldPath. | |
make_directory_path/1 | Create Dir and all required components (like mkdir -p). | |
relative_file_name/3 | True when RelPath is Path, relative to RelTo. | |
set_time_file/3 | Query and set POSIX time attributes of a file. | |
gensym.pl -- Generate unique symbols |
gensym/2 | Generate <Base>1, <Base>2, etc atoms on each subsequent call. | |
reset_gensym/0 | Reset all gensym counters. | |
reset_gensym/1 | Reset a specific gensym counter. | |
git.pl -- Run GIT commands |
git/2 | Run a GIT command. | |
git_branches/2 | True when Branches is the list of branches in the repository. | |
git_default_branch/2 | True when BranchName is the default branch of a repository. | |
git_describe/2 | Describe the running version based on GIT tags and hashes. | |
git_hash/2 | Return the hash of the indicated object. | |
git_ls_remote/3 | Execute git ls-remote against the remote repository to fetch references from the remote. | |
git_ls_tree/2 | True when Entries is a list of entries in the the GIT repository, Each entry is a term:. | |
git_open_file/4 | Open the file File in the given bare GIT repository on the given branch (treeisch). | |
git_process_output/3 | Run a git-command and process the output with OnOutput, which is called as call(OnOutput, Stream) . | |
git_remote_branches/2 | Exploit git_ls_remote/3 to fetch the branches from a remote repository without downloading it. | |
git_remote_url/3 | URL is the remote (fetch) URL for the given Remote. | |
git_shortlog/3 | Fetch information like the GitWeb change overview. | |
git_show/4 | Fetch info from a GIT commit. | |
git_tags_on_branch/3 | Tags is a list of tags in Branch on the GIT repository Dir, most recent tag first. | |
is_git_directory/1 | True if Directory is a git directory (Either checked out or bare). | |
hash_stream.pl -- Maintain a hash on a stream |
open_hash_stream/3 | Open a filter stream on OrgStream that maintains a hash. | |
stream_hash/2 | Unify Digest with a hash for the bytes send to or read from HashStream. | |
help.pl |
apropos/1 | Give a list of subjects that might be appropriate. | |
help/1 | Display online help on specified subject. | |
helpidx.pl |
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. | |
open_hook/6 | Open Spec in Mode, producing Stream. | |
listing.pl -- List programs and pretty print clauses |
listing/0 | Lists all predicates defined in the calling module. | |
listing/1 | 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 |
append/2 | Concatenate a list of lists. | |
append/3 | List1AndList2 is the concatenation of List1 and List2. | |
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. | |
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. | |
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 positon. | |
selectchk/3 | Semi-deterministic removal of first element in List that unifies with Elem. | |
selectchk/4 | Semi-deterministic version of select/4. | |
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 Set1 and Set2. | |
main.pl -- Provide entry point for scripts |
make.pl -- Reload modified source files |
make/0 | Reload all source files that have been changed since they were loaded. | |
make_hook/2 | This hook is called by make/0. | |
md5.pl -- MD5 hashes |
md5_hash/3 | Hash is the MD5 hash of Data, The conversion is controlled by Options:. | |
memfile.pl |
modules.pl -- Module utility predicates |
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 |
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 |
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 |
pop_operators/0 | Revert all changes to the operator table realised since the last push_operators/1. | |
pop_operators/1 | Reset operators as pushed by push_operators/2. | |
push_op/3 | As op/3, but this call must appear between push_operators/1 and pop_operators/0. | |
push_operators/1 | Installs the operators from New, where New is a list of op(Prec, Type, :Name). | |
push_operators/2 | Installs the operators from New, where New is a list of op(Prec, Type, :Name). | |
option.pl -- Option list processing |
dict_options/2 | Convert between an option list and a dictionary. | |
merge_options/3 | Merge two option lists. | |
meta_options/3 | Perform meta-expansion on options that are module-sensitive. | |
option/2 | Get an Option from OptionList. | |
option/3 | Get an Option from OptionList. | |
select_option/3 | Get and remove Option from an option list. | |
select_option/4 | Get and remove Option with default value. | |
optparse.pl -- command line parsing |
opt_arguments/3 | Extract commandline options according to a specification. | |
opt_help/2 | True when Help is a help string synthesized from OptsSpec. | |
opt_parse/4 | Equivalent to opt_parse(OptsSpec, ApplArgs, Opts, PositionalArgs, []) . | |
opt_parse/5 | Parse the arguments Args (as list of atoms) according to OptsSpec. | |
parse_type/3 | Hook to parse option text Codes to an object of type Type. | |
ordsets.pl -- Ordered set manipulation |
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) . | |
oset.pl -- Ordered set manipulation |
oset_addel/3 | ordered set element addition. | |
oset_delel/3 | ordered set element deletion. | |
oset_diff/3 | ordered set difference. | |
oset_dint/2 | distributed intersection. | |
oset_dunion/2 | distributed union. | |
oset_int/3 | ordered set intersection. | |
oset_is/1 | check that OSet in correct format (standard order). | |
oset_power/2 | True when PSet is the powerset of Set. | |
oset_union/3 | | |
pairs.pl -- Operations on key-value lists |
pcre.pl -- Perl compatible regular expression matching for SWI-Prolog |
re_compile/3 | Compiles Pattern to a Regex blob of type regex (see blob/2). | |
re_config/1 | Extract configuration information from the pcre library. | |
re_flush/0 | Clean pattern and replacement caches. | |
re_foldl/6 | Fold all matches of Regex on String. | |
re_match/2 | Succeeds if String matches Regex. | |
re_match/3 | Succeeds if String matches Regex. | |
re_matchsub/4 | Match String against Regex. | |
re_replace/4 | Replace matches of the regular expression Pattern in String with With. | |
re_split/3 | Split String using the regular expression Pattern. | |
re_split/4 | Split String using the regular expression Pattern. | |
pengines.pl -- Pengines: Web Logic Programming Made Easy |
authentication_hook/3 | This hook is called from the =/pengine/create= HTTP handler to discover whether the server is accessed by an authorized user. | |
current_pengine_application/1 | True when Application is a currently defined application. | |
event_to_json/3 | Hook that translates a Pengine event structure into a term suitable for reply_json/1, according to the language specification Lang. | |
not_sandboxed/2 | This hook is called to see whether the Pengine must be executed in a protected environment. | |
output/2 | Hook to handle pengine_output/1 from the remote pengine. | |
pengine_abort/1 | Aborts the running query. | |
pengine_application/1 | Directive that must be used to declare a pengine application module. | |
pengine_ask/3 | Asks pengine NameOrID a query Query. | |
pengine_create/1 | Creates a new pengine. | |
pengine_debug/2 | Create a message using format/3 from Format and Args and send this to the client. | |
pengine_destroy/1 | Destroys the pengine NameOrID. | |
pengine_destroy/2 | Destroys the pengine NameOrID. | |
pengine_event/2 | Examines the pengine's event queue and if necessary blocks execution until a term that unifies to Term arrives in the queue. | |
pengine_event_loop/2 | Starts an event loop accepting event terms sent to the current pengine or thread. | |
pengine_input/2 | Sends Prompt to the parent pengine and waits for input. | |
pengine_next/2 | Asks pengine NameOrID for the next solution to a query started by pengine_ask/3. | |
pengine_output/1 | Sends Term to the parent pengine or thread. | |
pengine_property/2 | True when Property is a property of the given Pengine. | |
pengine_pull_response/2 | Pulls a response (an event term) from the slave Pengine if Pengine is a remote process, else does nothing at all. | |
pengine_respond/3 | Sends a response in the form of the term Input to a slave pengine that has prompted its master for input. | |
pengine_rpc/2 | Semantically equivalent to the sequence below, except that the query is executed in (and in the Prolog context of) the pengine server referred to by URL, rather than locally. | |
pengine_rpc/3 | Semantically equivalent to the sequence below, except that the query is executed in (and in the Prolog context of) the pengine server referred to by URL, rather than locally. | |
pengine_self/1 | True if the current thread is a pengine with Id. | |
pengine_stop/2 | Tells pengine NameOrID to stop looking for more solutions to a query started by pengine_ask/3. | |
pengine_user/1 | True when the pengine was create by an HTTP request that authorized User. | |
prepare_goal/3 | Pre-preparation hook for running Goal0. | |
prepare_module/3 | Hook, called to initialize the temporary private module that provides the working context of a pengine. | |
prompt/3 | Hook to handle pengine_input/2 from the remote pengine. | |
write_result/3 | Hook that allows for different output formats. | |
create_pool/1 | On demand creation of a thread pool for a pengine application. | |
pengines_io.pl -- Provide Prolog I/O for HTML clients |
binding_term/5 | Hook to render a Prolog result term as HTML. | |
pengine_bind_io_to_html/1 | Redefine the built-in predicates for IO to send HTML messages using pengine_output/1. | |
pengine_display/1 | Redirect the corresponding Prolog output predicates. | |
pengine_flush_output/0 | No-op. | |
pengine_format/1 | As format/1,2. | |
pengine_format/2 | As format/1,2. | |
pengine_io_predicate/1 | True when Head describes the head of a (system) IO predicate that is redefined by the HTML binding. | |
pengine_listing/0 | List the content of the current pengine or a specified predicate in the pengine. | |
pengine_listing/1 | List the content of the current pengine or a specified predicate in the pengine. | |
pengine_nl/0 | Emit a <br/> to the pengine. | |
pengine_print/1 | Redirect the corresponding Prolog output predicates. | |
pengine_write/1 | Redirect the corresponding Prolog output predicates. | |
pengine_write_canonical/1 | Redirect the corresponding Prolog output predicates. | |
pengine_write_term/2 | Writes term as <span class=Class>Term</span>. | |
pengine_writeln/1 | Emit Term as <span class=writeln>Term<br></span>. | |
pengine_writeq/1 | Redirect the corresponding Prolog output predicates. | |
message_hook/3 | Send output from print_message/2 to the pengine. | |
persistency.pl -- Provide persistent dynamic predicates |
current_persistent_predicate/1 | True if PI is a predicate that provides access to the persistent database DB. | |
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_sync/1 | Synchronise database with the associated file. | |
db_sync_all/1 | Sync all registered databases. | |
persistent/1 | Declare dynamic database terms. | |
pldoc.pl -- Process source documentation |
doc_collect/1 | Switch collecting comments true/false. | |
pldoc_loading/0 | True if we are loading the PlDoc libraries. | |
tag_order/2 | Hook that allows for defining additional tags. | |
porter_stem.pl |
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 |
is_process/1 | True if PID might be a process. | |
process_create/3 | Create a new process running the file Exe and using arguments from the given list. | |
process_group_kill/1 | Send signal to the group containing process PID. | |
process_group_kill/2 | Send signal to the group containing process PID. | |
process_id/1 | True if PID is the process id of the running Prolog process. | |
process_id/2 | PID is the process id of Process. | |
process_kill/1 | Send signal to process PID. | |
process_kill/2 | Send signal to process PID. | |
process_release/1 | Release process handle. | |
process_wait/2 | True if PID completed with Status. | |
process_wait/3 | True if PID completed with Status. | |
prolog_autoload.pl -- Autoload all dependencies |
autoload/0 | Force all necessary autoloading to be done now. | |
autoload/1 | Force all necessary autoloading to be done now. | |
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_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. | |
prolog_colour.pl -- Prolog syntax colouring support. |
goal_classification/2 | Multifile hookable classification for non-local goals. | |
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_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_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_history.pl -- Per-directory persistent commandline history |
prolog_history/1 | Execute Action on the history. | |
prolog_metainference.pl -- Infer meta-predicate properties |
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 |
environment/2 | Hook to define the environment for building packs. | |
pack_info/1 | Print more detailed information about Pack. | |
pack_install/1 | Install a package. | |
pack_install/2 | Install package Name. | |
pack_list/1 | Query package server and installed packages and display results. | |
pack_list_installed/0 | List currently installed packages. | |
pack_property/2 | True when Property is a property of Pack. | |
pack_rebuild/0 | Rebuild foreign components of all packages. | |
pack_rebuild/1 | Rebuilt possible foreign components of Pack. | |
pack_remove/1 | Remove the indicated package. | |
pack_search/1 | Query package server and installed packages and display results. | |
pack_upgrade/1 | Try to upgrade the package Pack. | |
pack_url_file/2 | True if File is a unique id for the referenced pack and version. | |
prolog_source.pl -- Examine Prolog source-files |
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_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. | |
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 |
open_prolog_stream/4 | Create a new stream that implements its I/O by calling predicates in Module. | |
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 |
lazy_list_character_count/3 | True when CharCount is the current character count in the Lazy list. | |
lazy_list_location/3 | Determine current (error) location in a lazy list. | |
phrase_from_file/2 | Process the content of File using the DCG rule Grammar. | |
phrase_from_file/3 | As phrase_from_file/2, providing additional Options. | |
phrase_from_stream/2 | Run Grammer against the character codes on Stream. | |
stream_to_lazy_list/2 | Create a lazy list representing the character codes in Stream. | |
syntax_error/3 | Throw the syntax error Error at the current location of the input. | |
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 |
abs/2 | Unify `Absolute' with the absolute value of `Number'. | |
atom_char/2 | Same as ISO char_code/2. | |
compile/1 | Compile files. | |
cos/2 | Math library predicates. | |
current_stream/3 | SICStus/Quintus and backward compatible predicate. | |
date/1 | Get current date as date(Y,M,D) . | |
genarg/3 | Generalised version of ISO arg/3. | |
log/2 | Math library predicates. | |
log10/2 | Math library predicates. | |
midstring/3 | Too difficult to explain. | |
midstring/4 | Too difficult to explain. | |
midstring/5 | Too difficult to explain. | |
midstring/6 | Too difficult to explain. | |
mode/1 | Ignore a DEC10/Quintus :- mode(Head) declaration. | |
no_style_check/1 | Same as SWI-Prolog style_check(-Style) . | |
on_exception/3 | | |
otherwise/0 | For (A -> B ; otherwise -> C). | |
prolog_flag/2 | Same as ISO current_prolog_flag/2. | |
raise_exception/1 | Quintus compatible exception handling. | |
simple/1 | Term is atomic or a variable. | |
sin/2 | Math library predicates. | |
skip_line/0 | Skip the rest of the current line (on Stream). | |
skip_line/1 | Skip the rest of the current line (on Stream). | |
stream_position/3 | True when Old is the current position in Stream and the stream has been repositioned to New. | |
tan/2 | Math library predicates. | |
unix/1 | interface to Unix. | |
random.pl -- Random numbers |
getrand/1 | Query/set the state of the random generator. | |
maybe/0 | Succeed/fail with equal probability (variant of maybe/1). | |
maybe/1 | Succeed with probability P, fail with probability 1-P. | |
maybe/2 | Succeed with probability K/N (variant of maybe/1). | |
random/1 | Binds R to a new random float in the open interval (0.0,1.0). | |
random/3 | Generate a random integer or float in a range. | |
random_between/3 | Binds R to a random integer in [L,U] (i.e., including both L and U). | |
random_member/2 | X is a random member of List. | |
random_perm2/4 | Does X=A,Y=B or X=B,Y=A with equal probability. | |
random_permutation/2 | Permutation is a random permutation of List. | |
random_select/3 | Randomly select or insert an element. | |
randseq/3 | S is a list of K unique random integers in the range 1..N. | |
randset/3 | S is a sorted list of K unique random integers in the range 1..N. | |
setrand/1 | Query/set the state of the random generator. | |
rbtrees.pl -- Red black trees |
rdf.pl |
load_rdf/2 | Parse an XML file holding an RDF term into a list of RDF triples. | |
load_rdf/3 | Parse an XML file holding an RDF term into a list of RDF triples. | |
process_rdf/3 | Process RDF from Input. | |
xml_to_rdf/3 | | |
rdf_ntriples.pl -- RDF N-triples parser (obsolete) |
rdf_parser.pl |
element_to_plrdf/3 | Rewrite a single XML element. | |
rdf_name_space/1 | True if URL must be handled as rdf: Determines special handling of rdf:about, rdf:resource, etc. | |
xml_to_plrdf/3 | Translate an XML (using namespaces) term into an Prolog term representing the RDF data. | |
rdf_triple.pl -- Create triples from intermediate representation |
anon_prefix/1 | If defined, it is the prefix used to generate a blank node. | |
rdf_end_file/1 | Cleanup reaching the end of an RDF file. | |
rdf_reset_ids/0 | Utility predicate to reset the gensym counters for the various generated identifiers. | |
rdf_start_file/2 | Initialise for the translation of a file. | |
rdf_triples/2 | Convert an object as parsed by rdf.pl into a list of rdf/3 triples. | |
rdf_triples/3 | Convert an object as parsed by rdf.pl into a list of rdf/3 triples. | |
rdf_write.pl -- Write RDF/XML from a list of triples |
rdf_write_xml/2 | Write an RDF/XML serialization of Triples to Out. | |
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 |
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. | |
rewrite.pl |
rewrite/2 | Invoke the term-rewriting system. | |
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 |
convert_setting_text/3 | Converts from textual form to Prolog Value. | |
current_setting/1 | True if Setting is a currently defined setting. | |
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. | |
sgml.pl -- SGML, XML and HTML parser |
dtd/2 | DTD is a DTD object created from the file dtd(Type) . | |
load_dtd/3 | Load DtdFile into a DTD. | |
load_html/3 | Load HTML text from Input and unify the resulting DOM structure with DOM. | |
load_html_file/2 | Load HTML from File and unify the resulting DOM structure with DOM. | |
load_sgml/3 | Load SGML text from Input and unify the resulting DOM structure with DOM. | |
load_sgml_file/2 | Load SGML from File and unify the resulting DOM structure with DOM. | |
load_structure/3 | Parse Source and return the resulting structure in ListOfContent. | |
load_xml/3 | Load XML text from Input and unify the resulting DOM structure with DOM. | |
load_xml_file/2 | Load XML from File and unify the resulting DOM structure with DOM. | |
xml_basechar/1 | XML character classification predicates. | |
xml_combining_char/1 | XML character classification predicates. | |
xml_digit/1 | XML character classification predicates. | |
xml_extender/1 | XML character classification predicates. | |
xml_ideographic/1 | XML character classification predicates. | |
xml_is_dom/1 | True if term statisfies the structure as returned by load_structure/3 and friends. | |
xml_name/1 | True if Atom is a valid XML name. | |
xml_quote_attribute/2 | Backward compatibility for versions that allow to specify encoding. | |
xml_quote_cdata/2 | Backward compatibility for versions that allow to specify encoding. | |
sgml_write.pl -- XML/SGML writer module |
html_write/2 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. | |
html_write/3 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. | |
sgml_write/2 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. | |
sgml_write/3 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. | |
xml_write/2 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. | |
xml_write/3 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. | |
xmlns/2 | Hook to define human readable abbreviations for XML namespaces. | |
sha.pl -- SHA secure hashes |
file_sha1/2 | True when SHA1 is the SHA1 hash for the content of File. | |
hash_atom/2 | Convert a list of bytes (integers 0..255) into the usual hexadecimal notation. | |
hmac_sha/4 | For Options, see sha_hash/3. | |
sha_hash/3 | Hash is the SHA hash of Data, The conversion is controlled by Options:. | |
sha_hash_ctx/4 | Hash is the SHA hash of Data. | |
sha_new_ctx/2 | NewContext is unified with the empty SHA computation context (which includes the Options.) It could later be passed to sha_hash_ctx/4. | |
shell.pl -- Elementary shell commands |
cd/0 | Change working directory. | |
cd/1 | Change working directory. | |
dirs/0 | Manage the directory stack:. | |
ls/0 | Listing similar to Unix =ls -F=, flagging directories with =/=. | |
ls/1 | Listing similar to Unix =ls -F=, flagging directories with =/=. | |
mv/2 | Move (Rename) a file. | |
popd/0 | Manage the directory stack:. | |
pushd/0 | Manage the directory stack:. | |
pushd/1 | Manage the directory stack:. | |
pwd/0 | Print current working directory. | |
rm/1 | Remove (unlink) a file. | |
shell/0 | Execute an interactive shell. | |
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects) |
current_foreign_library/2 | Query currently loaded shared libraries. | |
load_foreign_library/1 | Load a shared object or DLL. | |
load_foreign_library/2 | Load a shared object or DLL. | |
reload_foreign_libraries/0 | Reload all foreign libraries loaded (after restore of a state created using qsave_program/2. | |
unload_foreign_library/1 | Unload a shared object or DLL. | |
unload_foreign_library/2 | Unload a shared object or DLL. | |
use_foreign_library/1 | Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now . | |
use_foreign_library/2 | Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now . | |
snowball.pl -- The Snowball multi-lingual stemmer library |
snowball/3 | Apply the Snowball Algorithm on Input and unify the result (an atom) with Stem. | |
snowball_current_algorithm/1 | True if Algorithm is the official name of an algorithm suported by snowball/3. | |
socket.pl -- Network socket (TCP and UDP) library |
gethostname/1 | Return the canonical fully qualified name of this host. | |
negotiate_socks_connection/2 | Negotiate a connection to DesiredEndpoint over StreamPair. | |
proxy_for_url/3 | This hook can be implemented to return a proxy to try when connecting to URL. | |
tcp_accept/3 | This predicate waits on a server socket for a connection request by a client. | |
tcp_bind/2 | Bind the socket to Address on the current machine. | |
tcp_close_socket/1 | Closes the indicated socket, making SocketId invalid. | |
tcp_connect/2 | Connect SocketId. | |
tcp_connect/3 | Establish a TCP communication as a client. | |
tcp_connect/4 | Connect a (client) socket to Address and return a bi-directional connection through the stream-handles Read and Write. | |
tcp_fcntl/3 | Interface to the fcntl() call. | |
tcp_host_to_address/2 | Translate between a machines host-name and it's (IP-)address. | |
tcp_listen/2 | Tells, after tcp_bind/2, the socket to listen for incoming requests for connections. | |
tcp_open_socket/2 | Create streams to communicate to SocketId. | |
tcp_open_socket/3 | Similar to tcp_open_socket/2, but creates two separate sockets where tcp_open_socket/2 would have created a stream pair. | |
tcp_select/3 | Same as the built-in wait_for_input/3, but integrates better with event processing and the various options of sockets for Windows. | |
tcp_setopt/2 | Set options on the socket. | |
tcp_socket/1 | Creates an INET-domain stream-socket and unifies an identifier to it with SocketId. | |
try_proxy/4 | Attempt a socket-level connection via the given proxy to TargetAddress. | |
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 |
cert_accept_any/5 | Implementation for the hook `cert_verify_hook(:Hook)` that accepts any certificate. | |
load_certificate/2 | Loads a certificate from a PEM- or DER-encoded stream, returning a term which will unify with the same certificate if presented in cert_verify_hook. | |
load_crl/2 | Loads a CRL from a PEM- or DER-encoded stream, returning a term containing terms hash/1, signature/1, issuer_name/1 and revocations/1, which is a list of revoked/2 terms. | |
load_private_key/3 | Load a private key PrivateKey from the given stream Stream, using Password to decrypt the key if it is encrypted. | |
load_public_key/2 | Load a public key PublicKey from the given stream Stream. | |
ssl_add_certificate_key/4 | Add an additional certificate/key pair to SSL0, yielding SSL. | |
ssl_context/3 | Create an SSL context. | |
ssl_negotiate/5 | Once a connection is established and a read/write stream pair is available, (PlainRead and PlainWrite), this predicate can be called to negotiate an SSL session over the streams. | |
ssl_peer_certificate/2 | True if the peer certificate is provided (this is always the case for a client connection) and Certificate unifies with the peer certificate. | |
ssl_peer_certificate_chain/2 | Certificates is the certificate chain provided by the peer, represented as a list of certificates. | |
ssl_secure_ciphers/1 | Secure ciphers must guarantee forward secrecy, and must mitigate all known critical attacks. | |
ssl_session/2 | Retrieves (debugging) properties from the SSL context associated with Stream. | |
ssl_set_options/3 | SSL is the same as SSL0, except for the options specified in Options. | |
system_root_certificates/1 | List is a list of trusted root certificates as provided by the OS. | |
statistics.pl -- Get information about resource usage |
profile/1 | Run Goal under the execution profiler. | |
profile/2 | Run Goal under the execution profiler. | |
show_profile/1 | Display last collected profiling data. | |
statistics/0 | Print information about resource usage using print_message/2. | |
statistics/1 | Stats is a dict representing the same information as statistics/0. | |
thread_statistics/2 | Obtain statistical information about a single thread. | |
time/1 | Execute Goal, reporting statistics to the user. | |
streampool.pl |
syslog.pl -- Unix syslog interface |
debug_print_hook/3 | Integration of debug/3 with the syslog facility. | |
closelog/0 | Close the system log. | |
openlog/3 | Open system log. | |
syslog/2 | Send a message to the system log. | |
syslog/3 | Send a formatted message to the system log if system logging is opened using openlog/3. | |
system.pl -- System utilities |
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. | |
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 |
term_to_json/2 | Convert any general Prolog term into a JSON term. | |
term_to_json/3 | Convert any general Prolog term into a JSON term. | |
terms.pl -- Term manipulation |
subsumes/2 | True if Generic is unified to Specific without changing Specific. | |
subsumes_chk/2 | True if Generic can be made equivalent to Specific without changing Specific. | |
term_factorized/3 | Is true when Skeleton is Term where all subterms that appear multiple times are replaced by a variable and Substitution is a list of Var=Value that provides the subterm at the location Var. | |
term_size/2 | True if Size is the size in cells occupied by Term on the global (term) stack. | |
term_subsumer/3 | General is the most specific term that is a generalisation of Special1 and Special2. | |
variant/2 | Same as SWI-Prolog Term1 =@= Term2 . | |
thread.pl -- High level thread primitives |
concurrent/3 | Run Goals in parallel using N threads. | |
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 |
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 |
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. | |
interactor/0 | Run a Prolog toplevel in another thread with a new console window. | |
interactor/1 | Run a Prolog toplevel in another thread with a new console window. | |
join_threads/0 | Join all terminated threads. | |
tdebug/0 | Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors. | |
tdebug/1 | Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors. | |
thread_has_console/0 | True when the calling thread has an attached console. | |
thread_run_interactor/0 | Attach a console and run a Prolog toplevel in the current thread. | |
threads/0 | List currently known threads with their status. | |
tnodebug/0 | Disable debug-mode in all threads or the specified Thread. | |
tnodebug/1 | Disable debug-mode in all threads or the specified Thread. | |
tprofile/1 | Profile the operation of Thread until the user hits a key. | |
tspy/1 | Trap the graphical debugger on reaching Spec in the specified or any thread. | |
tspy/2 | Trap the graphical debugger on reaching Spec in the specified or any thread. | |
xterm_args/1 | Multifile and dynamic hook that provides (additional) arguments for the xterm(1) process opened for additional thread consoles. | |
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 |
udp_broadcast_initialize/2 | causes any required runtime initialization to occur. | |
udp_broadcast_service/2 | provides the UDP broadcast address for a given Domain. | |
udp_host_to_address/2 | locates a UDP service by name. | |
ugraphs.pl -- Graph manipulation library |
compose/3 | Calculates the composition of two S-form graphs, which need not have the same set of vertices. | |
del_vertices/3 | Unify NewGraph with a new graph obtained by deleting the list of Vertices and all the edges that start from or go to a vertex in Vertices to the Graph. | |
edges/2 | Edges is the set of edges in UGraph. | |
neighbors/3 | Neigbours is a sorted list of the neighbours of Vertex in Graph. | |
neighbours/3 | Neigbours is a sorted list of the neighbours of Vertex in Graph. | |
top_sort/2 | Sorted is a topological sorted list of nodes in Graph. | |
top_sort/3 | Sorted is a topological sorted list of nodes in Graph. | |
transpose_ugraph/2 | Unify NewGraph with a new graph obtained from Graph by replacing all edges of the form V1-V2 by edges of the form V2-V1. | |
ugraph_union/3 | Is true when Union is the union of Set1 and Set2. | |
vertices/2 | Strips off the neighbours lists of an S-representation to produce a list of the vertices of the graph. | |
vertices_edges_to_ugraph/3 | Create a UGraph from Vertices and edges. | |
uid.pl -- User and group management on Unix systems |
unicode.pl -- Unicode string handling |
unicode_map/3 | Perform unicode normalization operations. | |
unicode_nfc/2 | Characters are decomposed and then recomposed by canonical equivalence. | |
unicode_nfd/2 | Characters are decomposed by canonical equivalence. | |
unicode_nfkc/2 | Characters are decomposed by compatibility equivalence, then recomposed by canonical equivalence. | |
unicode_nfkd/2 | Characters are decomposed by compatibility equivalence. | |
unicode_property/2 | True if Property is defined for Char. | |
unix.pl -- Unix specific operations |
detach_IO/0 | Detach I/O similar to detach_IO/1. | |
detach_IO/1 | This predicate is intended to create Unix deamon processes. | |
dup/2 | Interface to Unix dup2() , copying the underlying filedescriptor and thus making both streams point to the same underlying object. | |
exec/1 | Replace the running program by starting Command. | |
fork/1 | Clone the current process into two branches. | |
fork_exec/1 | Fork (as fork/1) and exec (using exec/1) the child immediately. | |
kill/2 | Deliver a software interrupt to the process with identifier Pid using software-interrupt number Signal. | |
pipe/2 | Create a communication-pipe. | |
prctl/1 | Access to Linux process control operations. | |
sysconf/1 | Access system configuration. | |
wait/2 | Wait for a child to change status. | |
uri.pl -- Process URIs |
iri_normalized/2 | NormalizedIRI is the normalized form of IRI. | |
iri_normalized/3 | NormalizedGlobalIRI is the normalized global version of IRI. | |
uri_authority_components/2 | Break-down the authority component of a URI. | |
uri_authority_data/3 | Provide access the uri_authority structure. | |
uri_components/2 | Break a URI into its 5 basic components according to the RFC-3986 regular expression:. | |
uri_data/3 | Provide access the uri_component structure. | |
uri_data/4 | NewComponents is the same as Components with Field set to Data. | |
uri_encoded/3 | Encoded is the URI encoding for Value. | |
uri_file_name/2 | Convert between a URI and a local file_name. | |
uri_iri/2 | Convert between a URI, encoded in US-ASCII and an IRI. | |
uri_is_global/1 | True if URI has a scheme. | |
uri_normalized/2 | NormalizedURI is the normalized form of URI. | |
uri_normalized/3 | NormalizedGlobalURI is the normalized global version of URI. | |
uri_normalized_iri/2 | As uri_normalized/2, but percent-encoding is translated into IRI Unicode characters. | |
uri_normalized_iri/3 | NormalizedGlobalIRI is the normalized global IRI of URI. | |
uri_query_components/2 | Perform encoding and decoding of an URI query string. | |
uri_resolve/3 | Resolve a possibly local URI relative to Base. | |
url.pl -- Analysing and constructing URL |
utf8.pl -- UTF-8 encoding/decoding on lists of character codes. |
utf8_codes/3 | DCG translating between a Unicode code-list and its UTF-8 encoded byte-string. | |
uuid.pl -- Universally Unique Identifier (UUID) Library |
uuid/1 | UUID is an atom representing a new UUID. | |
uuid/2 | Create a new UUID according to Options. | |
varnumbers.pl -- Utilities for numbered terms |
max_var_number/3 | True when Max is the max of Start and the highest numbered $VAR(N) term. | |
numbervars/1 | Number variables in Term using $VAR(N). | |
varnumbers/2 | Inverse of numbervars/1. | |
varnumbers/3 | Inverse of numbervars/3. | |
varnumbers_names/3 | If Term is a term with numbered and named variables using the reserved term '$VAR'(X), Copy is a copy of Term where each '$VAR'(X) is consistently replaced by a fresh variable and Bindings is a list X = Var , relating the X terms with the variable it is mapped to. | |
when.pl -- Conditional coroutining |
when/2 | Execute Goal when Condition is satisfied. | |
win_menu.pl -- Console window menu |
writef.pl -- Old-style formatted write |
swritef/2 | Use writef/1 or writef/2 and write the result to a string. | |
swritef/3 | Use writef/1 or writef/2 and write the result to a string. | |
writef/1 | Formatted write to the current_output . | |
writef/2 | Formatted write to the current_output . | |
www_browser.pl -- Open a URL in the users browser |
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. | |
xmlenc.pl -- XML encryption library |
decrypt_xml/4 | | |
load_certificate_from_base64_string/2 | Loads a certificate from a string, adding newlines and header where appropriate so that OpenSSL 1.0.1+ will be able to parse it. | |
xpath.pl -- Select nodes in an XML DOM |
xpath/3 | Match an element in a DOM structure. | |
xpath_chk/3 | Semi-deterministic version of xpath/3. | |
xsdp_types.pl -- XML-Schema primitive types |
xsdp_convert/3 | Convert the content model Content to an object of the given XSD type and return the Prolog value in Value. | |
xsdp_numeric_uri/2 | Table mapping all XML-Schema numeric URIs into the type they promote to. | |
xsdp_subtype_of/2 | True if Type is a (transitive) subtype of Super. | |
xsdp_type/1 | Test/generate the names for the XML schema primitive types. | |
xsdp_uri_type/2 | True if URI is the URI for the the XML-Schema primitive Type. | |
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 |
encoding_filter/3 | Act as plugin for library(http/http_open) for processing content with Content-encoding: gzip . | |
gzopen/3 | Open a file compatible with the gzip program. | |
gzopen/4 | Open a file compatible with the gzip program. | |