aggregate.pl -- Aggregation operators on backtrackable predicates![Show source Show source](/iati/swish/pldoc/res/source.png) |
aggregate/3 | Aggregate bindings in Goal according to Template. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
aggregate/4 | Aggregate bindings in Goal according to Template. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
aggregate_all/3 | Aggregate bindings in Goal according to Template. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
aggregate_all/4 | Aggregate bindings in Goal according to Template. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
foreach/2 | True if conjunction of results is true. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
free_variables/4 | Find free variables in bagof/setof template. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
safe_meta/2 | Declare the aggregate meta-calls safe. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ansi_term.pl -- Print decorated text to ANSI consoles![Show source Show source](/iati/swish/pldoc/res/source.png) |
ansi_format/3 | Format text with ANSI attributes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
message_line_element/2 | Hook implementation that deals with ansi(+Attr, +Fmt, +Args) in message specifications. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
apply.pl -- Apply predicates on a list![Show source Show source](/iati/swish/pldoc/res/source.png) |
convlist/3 | Similar to maplist/3, but elements for which call(Goal, ElemIn, _) fails are omitted from ListOut. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
exclude/3 | Filter elements for which Goal fails. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
foldl/4 | Fold a list, using arguments of the list as left argument. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
foldl/5 | Fold a list, using arguments of the list as left argument. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
foldl/6 | Fold a list, using arguments of the list as left argument. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
foldl/7 | Fold a list, using arguments of the list as left argument. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
include/3 | Filter elements for which Goal succeeds. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
maplist/2 | True if Goal can successfully be applied on all elements of List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
maplist/3 | As maplist/2, operating on pairs of elements from two lists. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
maplist/4 | As maplist/2, operating on triples of elements from three lists. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
maplist/5 | As maplist/2, operating on quadruples of elements from four lists. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
partition/4 | Filter elements of List according to Pred. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
partition/5 | Filter List according to Pred in three sets. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
scanl/4 | Left scan of list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
scanl/5 | Left scan of list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
scanl/6 | Left scan of list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
scanl/7 | Left scan of list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
apply_macros.pl -- Goal expansion rules to avoid meta-calling![Show source Show source](/iati/swish/pldoc/res/source.png) |
expand_phrase/2 | Provide goal-expansion for PhraseGoal. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
expand_phrase/4 | Provide goal-expansion for PhraseGoal. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
archive.pl -- Access several archive formats![Show source Show source](/iati/swish/pldoc/res/source.png) |
archive_close/1 | Close the archive. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
archive_create/3 | Convenience predicate to create an archive in OutputFile with data from a list of InputFiles and the given Options. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
archive_data_stream/3 | True when DataStream is a stream to a data object inside Archive. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
archive_entries/2 | True when Paths is a list of pathnames appearing in Archive. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
archive_extract/3 | Extract files from the given archive into Dir. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
archive_header_property/2 | True when Property is a property of the current header. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
archive_next_header/2 | Forward to the next entry of the archive for which Name unifies with the pathname of the entry. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
archive_open/4 | Open the archive in Data and unify Archive with a handle to the opened archive. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
archive_open_entry/2 | Open the current entry as a stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
archive_property/2 | True when Property is a property of the archive Handle. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
archive_set_header_property/2 | Set Property of the current header. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
arithmetic.pl -- Extensible arithmetic![Show source Show source](/iati/swish/pldoc/res/source.png) |
assoc.pl -- Binary associations![Show source Show source](/iati/swish/pldoc/res/source.png) |
assoc_to_keys/2 | True if Keys is the list of keys in Assoc. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
assoc_to_list/2 | Translate Assoc to a list Pairs of Key-Value pairs. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
assoc_to_values/2 | True if Values is the list of values in Assoc. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
del_assoc/4 | True if Key-Value is in Assoc0. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
del_max_assoc/4 | True if Key-Value is in Assoc0 and Key is the greatest key. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
del_min_assoc/4 | True if Key-Value is in Assoc0 and Key is the smallest key. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
empty_assoc/1 | Is true if Assoc is the empty association list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
gen_assoc/3 | True if Key-Value is an association in Assoc. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
get_assoc/3 | True if Key-Value is an association in Assoc. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
get_assoc/5 | True if Key-Val0 is in Assoc0 and Key-Val is in Assoc. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
is_assoc/1 | True if Assoc is an association list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_to_assoc/2 | Create an association from a list Pairs of Key-Value pairs. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
map_assoc/2 | True if Pred(Value) is true for all values in Assoc. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
map_assoc/3 | Map corresponding values. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
max_assoc/3 | True if Key-Value is in Assoc and Key is the largest key. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
min_assoc/3 | True if Key-Value is in assoc and Key is the smallest key. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_list_to_assoc/2 | Assoc is created from an ordered list Pairs of Key-Value pairs. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
put_assoc/4 | Assoc is Assoc0, except that Key is associated with Value. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
backcomp.pl -- Backward compatibility![Show source Show source](/iati/swish/pldoc/res/source.png) |
$apropos_match/2 | True if Needle is a sub atom of Haystack. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
$arch/2 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
$argv/1 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
$declare_module/3 | Used in triple20 particle library. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
$home/1 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
$module/2 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
$set_prompt/1 | Set the prompt for the toplevel. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
$strip_module/3 | This used to be an internal predicate. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
$version/1 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
C/3 | Used to be generated by DCG. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
at_initialization/1 | Register goal only to be run if a saved state is restored. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
checklist/2 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
concat/3 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
concat_atom/2 | Concatenate a list of atomic values to an atom. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
concat_atom/3 | Concatenate a list of atomic values to an atom, inserting Seperator between each consecutive elements. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
convert_time/2 | Convert a time-stamp as obtained though get_time/1 into a textual representation using the C-library function ctime() . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
convert_time/8 | Convert a time stamp, provided by get_time/1, time_file/2, etc. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
current_module/2 | True if Module is a module loaded from File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
current_mutex/3 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
current_thread/2 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
displayq/1 | Write term ignoring operators and quote atoms. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
displayq/2 | Write term ignoring operators and quote atoms. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
eval_license/0 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
export_list/2 | Module exports the predicates of List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
feature/2 | Control Prolog flags. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
flush/0 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
free_variables/2 | Return a list of unbound variables in Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
hash/1 | Demands PredInd to be indexed using a hash-table. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
hash_term/2 | If Term is ground, Hash is unified to an integer representing a hash for Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
index/1 | Prepare the predicate indicated by Head for multi-argument indexing. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lock_predicate/2 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
merge/3 | Merge the ordered sets List1 and List2 into a new ordered list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
merge_set/3 | Merge the ordered sets Set1 and Set2 into a new ordered set without duplicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
message_queue_size/2 | True if Queue holds Size terms. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
proper_list/1 | Old SWI-Prolog predicate to check for a list that really ends in a []. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_clause/1 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_clause/2 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_pending_input/3 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_variables/2 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_variables/3 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
set_base_module/1 | Set the default module from whic we inherit. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
set_feature/2 | Control Prolog flags. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
setup_and_call_cleanup/3 | Call Cleanup once after Goal is finished. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
setup_and_call_cleanup/4 | Call Cleanup once after Goal is finished, with Catcher unified to the reason. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sformat/2 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sformat/3 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
string_to_atom/2 | Bi-directional conversion between string and atom. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
string_to_list/2 | Bi-directional conversion between a string and a list of character codes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sublist/3 | Succeeds if List2 unifies with a list holding those terms for wich call(Goal, Elem) succeeds. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
substring/4 | Predecessor of sub_string using 1-based Offset. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
subsumes/2 | True if Generic is unified to Specific without changing Specific. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
subsumes_chk/2 | True if Generic can be made equivalent to Specific without changing Specific. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sumlist/2 | True when Sum is the list of all numbers in List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
trie_insert_new/3 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unlock_predicate/2 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
write_ln/1 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
base32.pl -- Base32 encoding and decoding![Show source Show source](/iati/swish/pldoc/res/source.png) |
base32/2 | Translates between plaintext and base32 encoded atom or string. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
base32/3 | Encode/decode list of character codes using base32. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
base64.pl -- Base64 encoding and decoding![Show source Show source](/iati/swish/pldoc/res/source.png) |
base64/2 | Translates between plaintext and base64 encoded atom or string. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
base64/3 | Encode/decode list of character codes using base64. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
base64_encoded/3 | General the base64 encoding and decoding. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
base64_encoded/4 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
base64url/2 | Translates between plaintext and base64url encoded atom or string. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
base64url/3 | Encode/decode list of character codes using Base64URL. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
broadcast.pl -- Event service![Show source Show source](/iati/swish/pldoc/res/source.png) |
broadcast/1 | Broadcast given event. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
broadcast_request/1 | Broadcast given event till accepted. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
listen/2 | Open a channel for listening for events of the given `Templ'. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
listen/3 | Open a channel for listening for events of the given `Templ'. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
listening/3 | returns currently open channels. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unlisten/1 | Destroy a channel. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unlisten/2 | Destroy a channel. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unlisten/3 | Destroy a channel. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
c14n2.pl -- C14n2 canonical XML documents![Show source Show source](/iati/swish/pldoc/res/source.png) |
xml_write_canonical/3 | Write an XML DOM using the canonical conventions as defined by C14n2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
cgi.pl -- Read CGI parameters![Show source Show source](/iati/swish/pldoc/res/source.png) |
cgi_get_form/1 | Decodes standard input and the environment variables to obtain a list of arguments passed to the CGI script. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
charsio.pl -- I/O on Lists of Character Codes![Show source Show source](/iati/swish/pldoc/res/source.png) |
atom_to_chars/2 | Convert Atom into a list of character codes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
atom_to_chars/3 | Convert Atom into a difference list of character codes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
format_to_chars/3 | Use format/2 to write to a list of character codes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
format_to_chars/4 | Use format/2 to write to a difference list of character codes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
number_to_chars/2 | Convert Atom into a list of character codes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
number_to_chars/3 | Convert Number into a difference list of character codes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
open_chars_stream/2 | Open Codes as an input stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_from_chars/2 | Read Codes into Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_term_from_chars/3 | Read Codes into Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
with_output_to_chars/2 | Run Goal as with once/1. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
with_output_to_chars/3 | Run Goal as with once/1. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
with_output_to_chars/4 | Same as with_output_to_chars/3 using an explicit stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
write_to_chars/2 | Write a term to a code list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
write_to_chars/3 | Write a term to a code list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
check.pl -- Consistency checking![Show source Show source](/iati/swish/pldoc/res/source.png) |
check/0 | Run all consistency checks defined by checker/2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
checker/2 | Register code validation routines. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_autoload/0 | Report predicates that may be auto-loaded. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_strings/0 | List strings that appear in clauses. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_strings/1 | List strings that appear in clauses. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_trivial_fails/0 | List goals that trivially fail because there is no matching clause. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_trivial_fails/1 | List goals that trivially fail because there is no matching clause. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_undefined/0 | Report undefined predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_undefined/1 | Report undefined predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_void_declarations/0 | List predicates that have declared attributes, but no clauses. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
string_predicate/1 | Multifile hook to disable list_strings/0 on the given predicate. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
trivial_fail_goal/1 | Multifile hook that tells list_trivial_fails/0 to accept Goal as valid. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
valid_string_goal/1 | Multifile hook that qualifies Goal as valid for list_strings/0. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
chr.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
debug_ask_continue/1 | Hook to ask for a CHR debug continuation. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
debug_event/2 | Hook into the CHR debugger. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
debug_interact/3 | Hook into the CHR debugger to display Event and ask for the next command to execute. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
codesio.pl -- I/O on Lists of Character Codes![Show source Show source](/iati/swish/pldoc/res/source.png) |
format_to_codes/3 | Use format/2 to write to a list of character codes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
format_to_codes/4 | Use format/2 to write to a difference list of character codes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
open_codes_stream/2 | Open Codes as an input stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_from_codes/2 | Read Codes into Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_term_from_codes/3 | Read Codes into Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
with_output_to_codes/2 | Run Goal with as once/1. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
with_output_to_codes/3 | Run Goal with as once/1. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
with_output_to_codes/4 | As with_output_to_codes/3, but Stream is unified with the temporary stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
write_term_to_codes/3 | True when Codes is a string that matches the output of write_term/3 using Options. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
write_term_to_codes/4 | True when Codes\Tail is a difference list containing the character codes that matches the output of write_term/3 using Options. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
write_to_codes/2 | Codes is a list of character codes produced by write/1 on Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
write_to_codes/3 | Codes is a difference-list of character codes produced by write/1 on Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
coinduction.pl -- Co-Logic Programming![Show source Show source](/iati/swish/pldoc/res/source.png) |
coinductive/1 | The declaration :- coinductive name/arity, ... defines predicates as coinductive. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
console_input.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
complete_input/4 | Compute auto completions for the input line BeforeCursor+AfterCursor. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
crypt.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
crypto.pl -- Cryptography and authentication library![Show source Show source](/iati/swish/pldoc/res/source.png) |
csv.pl -- Process CSV (Comma-Separated Values) data![Show source Show source](/iati/swish/pldoc/res/source.png) |
csv/3 | Prolog DCG to `read/write' CSV data. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
csv/4 | Prolog DCG to `read/write' CSV data. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
csv_options/2 | Compiled is the compiled representation of the CSV processing options as they may be passed into csv//2, etc. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
csv_read_file/2 | Read a CSV file into a list of rows. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
csv_read_file/3 | Read a CSV file into a list of rows. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
csv_read_file_row/3 | True when Row is a row in File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
csv_read_row/3 | Read the next CSV record from Stream and unify the result with Row. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
csv_write_file/2 | Write a list of Prolog terms to a CSV file. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
csv_write_file/3 | Write a list of Prolog terms to a CSV file. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
csv_write_stream/3 | Write the rows in Data to Stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ctypes.pl -- Character code classification![Show source Show source](/iati/swish/pldoc/res/source.png) |
is_digit/3 | Succeeds if `C' is a digit using `Base' as base and `Weight' represents its value. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
is_paren/2 | True if Open is the open-parenthesis of Close. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
to_lower/2 | Downcase a character code. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
to_upper/2 | Upcase a character code. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
date.pl -- Process dates and times![Show source Show source](/iati/swish/pldoc/res/source.png) |
date_time_value/3 | Extract values from a date-time structure. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
day_of_the_week/2 | Computes the day of the week for a given date. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
day_of_the_year/2 | Computes the day of the year for a given date. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
parse_time/2 | Stamp is a timestamp created from parsing Text using the representation Format. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
parse_time/3 | Stamp is a timestamp created from parsing Text using the representation Format. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
debug.pl -- Print debug messages and test assertions![Show source Show source](/iati/swish/pldoc/res/source.png) |
dialect.pl -- Support multiple Prolog dialects![Show source Show source](/iati/swish/pldoc/res/source.png) |
dicts.pl -- Dict utilities![Show source Show source](/iati/swish/pldoc/res/source.png) |
dict_fill/4 | Implementation for the dicts_to_same_keys/3 OnEmpty closure that fills new cells with a copy of ValueIn. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
dict_keys/2 | True when Keys is an ordered set of the keys appearing in Dict. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
dicts_join/3 | Join dicts in Dicts that have the same value for Key, provided they do not have conflicting values on other keys. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
dicts_join/4 | Join two lists of dicts (Dicts1 and Dicts2) on Key. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
dicts_same_tag/2 | True when List is a list of dicts that all have the tag Tag. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
dicts_slice/3 | DictsOut is a list of Dicts only containing values for Keys. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
dicts_to_same_keys/3 | DictsOut is a copy of DictsIn, where each dict contains all keys appearing in all dicts of DictsIn. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
dif.pl -- The dif/2 constraint![Show source Show source](/iati/swish/pldoc/res/source.png) |
dif/2 | Constraint that expresses that Term1 and Term2 never become identical (==/2). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
doc_files.pl -- Create stand-alone documentation files![Show source Show source](/iati/swish/pldoc/res/source.png) |
doc_save/2 | Save documentation for FileOrDir to file(s) . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
doc_http.pl -- Documentation server![Show source Show source](/iati/swish/pldoc/res/source.png) |
doc_browser/0 | Open user's default browser on the documentation server. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
doc_browser/1 | Open user's default browser on the documentation server. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
doc_enable/1 | Actually activate the PlDoc server. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
doc_server/1 | Start a documentation server in the current Prolog process. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
doc_server/2 | Start a documentation server in the current Prolog process. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
double_metaphone.pl -- Phonetic string matching![Show source Show source](/iati/swish/pldoc/res/source.png) |
double_metaphone/2 | Same as double_metaphone/3, but only returning the primary metaphone. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
double_metaphone/3 | Create metaphone and alternative metaphone from In. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
edinburgh.pl -- Some traditional Edinburgh predicates![Show source Show source](/iati/swish/pldoc/res/source.png) |
debug/0 | Switch on/off debug mode. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
display/1 | Write a term, ignoring operators. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
display/2 | Write a term, ignoring operators. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
fileerrors/2 | Query and change the fileerrors flag. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
nodebug/0 | Switch on/off debug mode. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
reconsult/1 | Load source file(s) , wiping the old content first. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unknown/2 | Edinburgh Prolog predicate for dealing dealing with undefined procedures. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
edit.pl -- Editor interface![Show source Show source](/iati/swish/pldoc/res/source.png) |
edit/0 | Edit associated or script file. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
edit/1 | Edit indicated object. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
edit_command/2 | This predicate should specify the shell-command called to invoke the user's editor. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
locate/2 | Locate object from the specified location. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
locate/3 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
select_location/3 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
editline.pl -- BSD libedit based command line editing![Show source Show source](/iati/swish/pldoc/res/source.png) |
el_add_history/2 | Add a line to the command line history. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_addfn/4 | Add a new command to the command line editor associated with Input. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_bind/2 | Invoke the libedit bind command with the given arguments. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_cursor/2 | Move the cursor Move character forwards (positive) or backwards (negative). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_deletestr/2 | Delete Count characters before the cursor. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_history/2 | Perform a generic action on the history. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_insertstr/2 | Insert Text at the cursor. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_line/2 | Fetch the currently buffered input line. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_read_history/2 | Read the history saved using el_write_history/2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_source/2 | Initialise editline by reading the contents of File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_unwrap/1 | Remove the libedit wrapper for In and the related output and error streams. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_wrap/0 | Enable using editline on the standard user streams if user_input is connected to a terminal. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_wrap/4 | Enable editline on the stream-triple <In,Out,Error>. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_wrapped/1 | True if In is a stream wrapped by el_wrap/3. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
el_write_history/2 | Save editline history to File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
error.pl -- Error generating support![Show source Show source](/iati/swish/pldoc/res/source.png) |
current_type/3 | True when Type is a currently defined type and Var satisfies Type of the body term Body succeeds. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
domain_error/2 | The argument is of the proper type, but has a value that is outside the supported values. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
existence_error/2 | Term is of the correct type and correct domain, but there is no existing (external) resource that is represented by it. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
has_type/2 | True if Term satisfies Type. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
instantiation_error/1 | An argument is under-instantiated. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
is_of_type/2 | True if Term satisfies Type. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
must_be/2 | True if Term satisfies the type constraints for Type. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
permission_error/3 | It is not allowed to perform Action on the object Term that is of the given Type. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
representation_error/1 | A representation error indicates a limitation of the implementation. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
resource_error/1 | A goal cannot be completed due to lack of resources. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
syntax_error/1 | A text has invalid syntax. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
type_error/2 | Tell the user that Term is not of the expected Type. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uninstantiation_error/1 | An argument is over-instantiated. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
explain.pl -- Describe Prolog Terms![Show source Show source](/iati/swish/pldoc/res/source.png) |
explain/1 | Write all information known about Term to the current output. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
explain/2 | Explanation describes information about Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
files.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
can_open_file/2 | Succeeds if the user has access to `File' in mode `Mode'. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
chdir/1 | Change Working Directory. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
filesex.pl -- Extended operations on files![Show source Show source](/iati/swish/pldoc/res/source.png) |
copy_directory/2 | Copy the contents of the directory From to To (recursively). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
copy_file/2 | Copy a file into a new file or directory. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
delete_directory_and_contents/1 | Recursively remove the directory Dir and its contents. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
delete_directory_contents/1 | Remove all content from directory Dir, without removing Dir itself. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
directory_file_path/3 | True when Path is the full path-name for File in Dir. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
link_file/3 | Create a link in the filesystem from NewPath to OldPath. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
make_directory_path/1 | Create Dir and all required components (like mkdir -p). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
relative_file_name/3 | True when RelPath is Path, relative to RelTo. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
set_time_file/3 | Query and set POSIX time attributes of a file. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
gensym.pl -- Generate unique symbols![Show source Show source](/iati/swish/pldoc/res/source.png) |
gensym/2 | Generate <Base>1, <Base>2, etc atoms on each subsequent call. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
reset_gensym/0 | Reset all gensym counters. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
reset_gensym/1 | Reset a specific gensym counter. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git.pl -- Run GIT commands![Show source Show source](/iati/swish/pldoc/res/source.png) |
git/2 | Run a GIT command. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git_branches/2 | True when Branches is the list of branches in the repository. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git_default_branch/2 | True when BranchName is the default branch of a repository. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git_describe/2 | Describe the running version based on GIT tags and hashes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git_hash/2 | Return the hash of the indicated object. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git_ls_remote/3 | Execute git ls-remote against the remote repository to fetch references from the remote. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git_ls_tree/2 | True when Entries is a list of entries in the the GIT repository, Each entry is a term:. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git_open_file/4 | Open the file File in the given bare GIT repository on the given branch (treeisch). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git_process_output/3 | Run a git-command and process the output with OnOutput, which is called as call(OnOutput, Stream) . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git_remote_branches/2 | Exploit git_ls_remote/3 to fetch the branches from a remote repository without downloading it. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git_remote_url/3 | URL is the remote (fetch) URL for the given Remote. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git_shortlog/3 | Fetch information like the GitWeb change overview. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git_show/4 | Fetch info from a GIT commit. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
git_tags_on_branch/3 | Tags is a list of tags in Branch on the GIT repository Dir, most recent tag first. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
is_git_directory/1 | True if Directory is a git directory (Either checked out or bare). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
hash_stream.pl -- Maintain a hash on a stream![Show source Show source](/iati/swish/pldoc/res/source.png) |
open_hash_stream/3 | Open a filter stream on OrgStream that maintains a hash. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
stream_hash/2 | Unify Digest with a hash for the bytes send to or read from HashStream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
heaps.pl -- heaps/priority queues![Show source Show source](/iati/swish/pldoc/res/source.png) |
add_to_heap/4 | Adds Key with priority Priority to Heap0, constructing a new heap in Heap. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
delete_from_heap/4 | Deletes Key from Heap0, leaving its priority in Priority and the resulting data structure in Heap. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
empty_heap/1 | True if Heap is an empty heap. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
get_from_heap/4 | Retrieves the minimum-priority pair Priority-Key from Heap0. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
heap_size/2 | Determines the number of elements in Heap. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
heap_to_list/2 | Constructs a list List of Priority-Element terms, ordered by (ascending) priority. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
is_heap/1 | Returns true if X is a heap. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_to_heap/2 | If List is a list of Priority-Element terms, constructs a heap out of List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
merge_heaps/3 | Merge the two heaps Heap0 and Heap1 in Heap. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
min_of_heap/3 | Unifies Key with the minimum-priority element of Heap and Priority with its priority value. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
min_of_heap/5 | Gets the two minimum-priority elements from Heap. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
singleton_heap/3 | True if Heap is a heap with the single element Priority-Key. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
help.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
apropos/1 | Give a list of subjects that might be appropriate. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
help/1 | Display online help on specified subject. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
helpidx.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
iostream.pl -- Utilities to deal with streams![Show source Show source](/iati/swish/pldoc/res/source.png) |
close_any/1 | Execute the Close closure returned by open_any/5. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
open_hook/6 | Open Spec in Mode, producing Stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lazy_lists.pl -- Lazy list handling![Show source Show source](/iati/swish/pldoc/res/source.png) |
lazy_engine_next/4 | Lazy list iterator for engines. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lazy_findall/3 | True when List is a lazy list containing the instantiations for Template for each answer of Goal. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lazy_findall/4 | True when List is a lazy list containing the instantiations for Template for each answer of Goal. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lazy_get_codes/4 | Lazy list iterator to get character codes from a stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lazy_list/2 | Create a lazy list from a callback. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lazy_list/3 | Create a lazy list where the next element is defined by. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lazy_list_iterator/4 | Directive to create a lazy list iterator from a predicate that gets a single next value. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lazy_list_length/2 | True if Len is the length of the materialized lazy list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lazy_list_materialize/1 | Materialize the lazy list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lazy_message_queue/4 | Lazy list iterator for message queues. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lazy_read_lines/4 | Lazy list iterator to read lines from Stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lazy_read_terms/4 | Turn a stream into a lazy list of Prolog terms. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
listing.pl -- List programs and pretty print clauses![Show source Show source](/iati/swish/pldoc/res/source.png) |
listing/0 | Lists all predicates defined in the calling module. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
listing/1 | List matching clauses. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
portray_clause/1 | Portray `Clause' on the current output stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
portray_clause/2 | Portray `Clause' on the current output stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
portray_clause/3 | Portray `Clause' on the current output stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lists.pl -- List Manipulation![Show source Show source](/iati/swish/pldoc/res/source.png) |
append/2 | Concatenate a list of lists. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
append/3 | List1AndList2 is the concatenation of List1 and List2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
delete/3 | Delete matching elements from a list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
flatten/2 | Is true if FlatList is a non-nested version of NestedList. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
intersection/3 | True if Set3 unifies with the intersection of Set1 and Set2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
is_set/1 | True if Set is a proper list without duplicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
last/2 | Succeeds when Last is the last element of List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_to_set/2 | True when Set has the same elements as List in the same order. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
max_list/2 | True if Max is the largest number in List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
max_member/2 | True when Max is the largest member in the standard order of terms. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
member/2 | True if Elem is a member of List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
min_list/2 | True if Min is the smallest number in List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
min_member/2 | True when Min is the smallest member in the standard order of terms. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
nextto/3 | True if Y directly follows X in List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
nth0/3 | True when Elem is the Index'th element of List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
nth0/4 | Select/insert element at index. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
nth1/3 | Is true when Elem is the Index'th element of List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
nth1/4 | As nth0/4, but counting starts at 1. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
numlist/3 | List is a list [Low, Low+1, ... High]. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
permutation/2 | True when Xs is a permutation of Ys. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prefix/2 | True iff Part is a leading substring of Whole. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
proper_length/2 | True when Length is the number of elements in the proper list List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
reverse/2 | Is true when the elements of List2 are in reverse order compared to List1. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
same_length/2 | Is true when List1 and List2 are lists with the same number of elements. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
select/3 | Is true when List1, with Elem removed, results in List2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
select/4 | Select from two lists at the same positon. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
selectchk/3 | Semi-deterministic removal of first element in List that unifies with Elem. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
selectchk/4 | Semi-deterministic version of select/4. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
subset/2 | True if all elements of SubSet belong to Set as well. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
subtract/3 | Delete all elements in Delete from Set. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sum_list/2 | Sum is the result of adding all numbers in List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
union/3 | True if Set3 unifies with the union of Set1 and Set2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
main.pl -- Provide entry point for scripts![Show source Show source](/iati/swish/pldoc/res/source.png) |
make.pl -- Reload modified source files![Show source Show source](/iati/swish/pldoc/res/source.png) |
make/0 | Reload all source files that have been changed since they were loaded. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
make_hook/2 | This hook is called by make/0. | |
md5.pl -- MD5 hashes![Show source Show source](/iati/swish/pldoc/res/source.png) |
md5_hash/3 | Hash is the MD5 hash of Data, The conversion is controlled by Options:. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
memfile.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
modules.pl -- Module utility predicates![Show source Show source](/iati/swish/pldoc/res/source.png) |
in_temporary_module/3 | Run Goal on temporary loaded sources and discard the module and loaded predicates after completion. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
nb_set.pl -- Non-backtrackable sets![Show source Show source](/iati/swish/pldoc/res/source.png) |
add_nb_set/2 | Insert Key into the set. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
add_nb_set/3 | Insert Key into the set. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
empty_nb_set/1 | Create an empty non-backtrackable set. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
gen_nb_set/2 | Enumerate the members of a set in the standard order of terms. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
nb_set_to_list/2 | Get the elements of a an nb_set. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
size_nb_set/2 | Unify Size with the number of elements in the set. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
occurs.pl -- Finding and counting sub-terms![Show source Show source](/iati/swish/pldoc/res/source.png) |
contains_term/2 | Succeeds if Sub is contained in Term (=, deterministically). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
contains_var/2 | Succeeds if Sub is contained in Term (==, deterministically). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
free_of_term/2 | Succeeds of Sub does not unify to any subterm of Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
free_of_var/2 | Succeeds of Sub is not equal (==) to any subterm of Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
occurrences_of_term/3 | Count the number of SubTerms in Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
occurrences_of_var/3 | Count the number of SubTerms in Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sub_term/2 | Generates (on backtracking) all subterms of Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sub_var/2 | Generates (on backtracking) all subterms (==) of Term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
operators.pl -- Manage operators![Show source Show source](/iati/swish/pldoc/res/source.png) |
pop_operators/0 | Revert all changes to the operator table realised since the last push_operators/1. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pop_operators/1 | Reset operators as pushed by push_operators/2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
push_op/3 | As op/3, but this call must appear between push_operators/1 and pop_operators/0. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
push_operators/1 | Installs the operators from New, where New is a list of op(Prec, Type, :Name). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
push_operators/2 | Installs the operators from New, where New is a list of op(Prec, Type, :Name). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
option.pl -- Option list processing![Show source Show source](/iati/swish/pldoc/res/source.png) |
dict_options/2 | Convert between an option list and a dictionary. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
merge_options/3 | Merge two option lists. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
meta_options/3 | Perform meta-expansion on options that are module-sensitive. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
option/2 | Get an Option from OptionList. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
option/3 | Get an Option from OptionList. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
select_option/3 | Get and remove Option from an option list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
select_option/4 | Get and remove Option with default value. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
optparse.pl -- command line parsing![Show source Show source](/iati/swish/pldoc/res/source.png) |
opt_arguments/3 | Extract commandline options according to a specification. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
opt_help/2 | True when Help is a help string synthesized from OptsSpec. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
opt_parse/4 | Equivalent to opt_parse(OptsSpec, ApplArgs, Opts, PositionalArgs, []) . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
opt_parse/5 | Parse the arguments Args (as list of atoms) according to OptsSpec. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
parse_type/3 | Hook to parse option text Codes to an object of type Type. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ordsets.pl -- Ordered set manipulation![Show source Show source](/iati/swish/pldoc/res/source.png) |
is_ordset/1 | True if Term is an ordered set. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_to_ord_set/2 | Transform a list into an ordered set. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_add_element/3 | Insert an element into the set. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_del_element/3 | Delete an element from an ordered set. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_disjoint/2 | True if Set1 and Set2 have no common elements. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_empty/1 | True when List is the empty ordered set. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_intersect/2 | True if both ordered sets have a non-empty intersection. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_intersect/3 | Intersection holds the common elements of Set1 and Set2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_intersection/2 | Intersection of a powerset. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_intersection/3 | Intersection holds the common elements of Set1 and Set2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_intersection/4 | Intersection and difference between two ordered sets. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_memberchk/2 | True if Element is a member of OrdSet, compared using ==. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_selectchk/3 | Selectchk/3, specialised for ordered sets. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_seteq/2 | True if Set1 and Set2 have the same elements. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_subset/2 | Is true if all elements of Sub are in Super. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_subtract/3 | Diff is the set holding all elements of InOSet that are not in NotInOSet. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_symdiff/3 | Is true when Difference is the symmetric difference of Set1 and Set2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_union/2 | True if Union is the union of all elements in the superset SetOfSets. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_union/3 | Union is the union of Set1 and Set2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_union/4 | True iff ord_union(Set1, Set2, Union) and ord_subtract(Set2, Set1, New) . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
oset.pl -- Ordered set manipulation![Show source Show source](/iati/swish/pldoc/res/source.png) |
oset_addel/3 | ordered set element addition. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
oset_delel/3 | ordered set element deletion. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
oset_diff/3 | ordered set difference. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
oset_dint/2 | distributed intersection. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
oset_dunion/2 | distributed union. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
oset_int/3 | ordered set intersection. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
oset_is/1 | check that OSet in correct format (standard order). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
oset_power/2 | True when PSet is the powerset of Set. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
oset_union/3 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pairs.pl -- Operations on key-value lists![Show source Show source](/iati/swish/pldoc/res/source.png) |
group_pairs_by_key/2 | Group values with equivalent (==/2) consecutive keys. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
map_list_to_pairs/3 | Create a Key-Value list by mapping each element of List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pairs_keys/2 | Remove the values from a list of Key-Value pairs. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pairs_keys_values/3 | True if Keys holds the keys of Pairs and Values the values. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pairs_values/2 | Remove the keys from a list of Key-Value pairs. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
transpose_pairs/2 | Swap Key-Value to Value-Key. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pcre.pl -- Perl compatible regular expression matching for SWI-Prolog![Show source Show source](/iati/swish/pldoc/res/source.png) |
re_compile/3 | Compiles Pattern to a Regex blob of type regex (see blob/2). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
re_config/1 | Extract configuration information from the pcre library. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
re_flush/0 | Clean pattern and replacement caches. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
re_foldl/6 | Fold all matches of Regex on String. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
re_match/2 | Succeeds if String matches Regex. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
re_match/3 | Succeeds if String matches Regex. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
re_matchsub/4 | Match String against Regex. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
re_replace/4 | Replace matches of the regular expression Pattern in String with With. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
re_split/3 | Split String using the regular expression Pattern. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
re_split/4 | Split String using the regular expression Pattern. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengines.pl -- Pengines: Web Logic Programming Made Easy![Show source Show source](/iati/swish/pldoc/res/source.png) |
authentication_hook/3 | This hook is called from the =/pengine/create= HTTP handler to discover whether the server is accessed by an authorized user. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
current_pengine_application/1 | True when Application is a currently defined application. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
not_sandboxed/2 | This hook is called to see whether the Pengine must be executed in a protected environment. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
output/2 | Hook to handle pengine_output/1 from the remote pengine. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_abort/1 | Aborts the running query. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_application/1 | Directive that must be used to declare a pengine application module. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_ask/3 | Asks pengine NameOrID a query Query. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_create/1 | Creates a new pengine. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_debug/2 | Create a message using format/3 from Format and Args and send this to the client. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_destroy/1 | Destroys the pengine NameOrID. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_destroy/2 | Destroys the pengine NameOrID. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_event_loop/2 | Starts an event loop accepting event terms sent to the current pengine or thread. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_input/2 | Sends Prompt to the parent pengine and waits for input. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_next/2 | Asks pengine NameOrID for the next solution to a query started by pengine_ask/3. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_output/1 | Sends Term to the parent pengine or thread. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_property/2 | True when Property is a property of the given Pengine. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_respond/3 | Sends a response in the form of the term Input to a slave pengine that has prompted its master for input. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_self/1 | True if the current thread is a pengine with Id. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_stop/2 | Tells pengine NameOrID to stop looking for more solutions to a query started by pengine_ask/3. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_user/1 | True when the pengine was create by an HTTP request that authorized User. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prepare_goal/3 | Pre-preparation hook for running Goal0. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prepare_module/3 | Hook, called to initialize the temporary private module that provides the working context of a pengine. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prompt/3 | Hook to handle pengine_input/2 from the remote pengine. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
write_result/3 | Hook that allows for different output formats. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
create_pool/1 | On demand creation of a thread pool for a pengine application. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengines_io.pl -- Provide Prolog I/O for HTML clients![Show source Show source](/iati/swish/pldoc/res/source.png) |
binding_term/5 | Hook to render a Prolog result term as HTML. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_bind_io_to_html/1 | Redefine the built-in predicates for IO to send HTML messages using pengine_output/1. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_display/1 | Redirect the corresponding Prolog output predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_flush_output/0 | No-op. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_format/1 | As format/1,2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_format/2 | As format/1,2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_io_predicate/1 | True when Head describes the head of a (system) IO predicate that is redefined by the HTML binding. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_listing/0 | List the content of the current pengine or a specified predicate in the pengine. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_listing/1 | List the content of the current pengine or a specified predicate in the pengine. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_nl/0 | Emit a <br/> to the pengine. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_print/1 | Redirect the corresponding Prolog output predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_write/1 | Redirect the corresponding Prolog output predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_write_canonical/1 | Redirect the corresponding Prolog output predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_write_term/2 | Writes term as <span class=Class>Term</span>. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_writeln/1 | Emit Term as <span class=writeln>Term<br></span>. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pengine_writeq/1 | Redirect the corresponding Prolog output predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
message_hook/3 | Send output from print_message/2 to the pengine. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
persistency.pl -- Provide persistent dynamic predicates![Show source Show source](/iati/swish/pldoc/res/source.png) |
current_persistent_predicate/1 | True if PI is a predicate that provides access to the persistent database DB. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
db_attach/2 | Use File as persistent database for the calling module. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
db_attached/1 | True if the context module attached to the persistent database File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
db_detach/0 | Detach persistency from the calling module and delete all persistent clauses from the Prolog database. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
db_sync/1 | Synchronise database with the associated file. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
db_sync_all/1 | Sync all registered databases. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
persistent/1 | Declare dynamic database terms. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pldoc.pl -- Process source documentation![Show source Show source](/iati/swish/pldoc/res/source.png) |
doc_collect/1 | Switch collecting comments true/false. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pldoc_loading/0 | True if we are loading the PlDoc libraries. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
tag_order/2 | Hook that allows for defining additional tags. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
porter_stem.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
pprint.pl -- Pretty Print Prolog terms![Show source Show source](/iati/swish/pldoc/res/source.png) |
print_term/2 | Pretty print a Prolog term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
predicate_options.pl -- Access and analyse predicate options![Show source Show source](/iati/swish/pldoc/res/source.png) |
assert_predicate_options/4 | As predicate_options(:PI, +Arg, +Options). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
check_predicate_option/3 | Verify predicate options at runtime. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
check_predicate_options/0 | Analyse loaded program for erroneous options. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
check_predicate_options/1 | Verify calls to predicates that have options in all clauses of the predicate indicated by PredicateIndicator. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
current_option_arg/2 | True when Arg of PI processes predicate options. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
current_predicate_option/3 | True when Arg of PI processes Option. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
current_predicate_options/3 | True when Options is the current active option declaration for PI on Arg. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
derive_predicate_options/0 | Derive new predicate option declarations. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
derived_predicate_options/1 | Derive predicate option declarations for a module. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
derived_predicate_options/3 | Derive option arguments using static analysis. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
predicate_options/3 | Declare that the predicate PI processes options on Arg. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
retractall_predicate_options/0 | Remove all dynamically (derived) predicate options. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
process.pl -- Create processes and redirect I/O![Show source Show source](/iati/swish/pldoc/res/source.png) |
is_process/1 | True if PID might be a process. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
process_create/3 | Create a new process running the file Exe and using arguments from the given list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
process_group_kill/1 | Send signal to the group containing process PID. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
process_group_kill/2 | Send signal to the group containing process PID. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
process_id/1 | True if PID is the process id of the running Prolog process. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
process_id/2 | PID is the process id of Process. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
process_kill/1 | Send signal to process PID. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
process_kill/2 | Send signal to process PID. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
process_release/1 | Release process handle. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
process_wait/2 | True if PID completed with Status. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
process_wait/3 | True if PID completed with Status. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_autoload.pl -- Autoload all dependencies![Show source Show source](/iati/swish/pldoc/res/source.png) |
autoload/0 | Force all necessary autoloading to be done now. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
autoload/1 | Force all necessary autoloading to be done now. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_breakpoints.pl -- Manage Prolog break-points![Show source Show source](/iati/swish/pldoc/res/source.png) |
breakpoint_property/2 | True when Property is a property of the breakpoint Id. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
delete_breakpoint/1 | Delete breakpoint with given Id. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
set_breakpoint/4 | Put a breakpoint at the indicated source-location. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
set_breakpoint/5 | Put a breakpoint at the indicated source-location. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_clause.pl -- Get detailed source-information about a clause![Show source Show source](/iati/swish/pldoc/res/source.png) |
clause_info/4 | Fetches source information for the given clause. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
clause_name/2 | Provide a suitable description of the indicated clause. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
initialization_layout/4 | Find term-layout of :- initialization directives. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
open_source/2 | Hook into clause_info/5 that opens the stream holding the source for a specific clause. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
predicate_name/2 | Describe a predicate as [Module:]Name/Arity. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unify_goal/5 | This hook is called to fix up source code manipulations that result from goal expansions. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_codewalk.pl -- Prolog code walker![Show source Show source](/iati/swish/pldoc/res/source.png) |
prolog_program_clause/2 | True when ClauseRef is a reference for clause in the program. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_walk_code/1 | Walk over all loaded (user) Prolog code. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_colour.pl -- Prolog syntax colouring support.![Show source Show source](/iati/swish/pldoc/res/source.png) |
goal_classification/2 | Multifile hookable classification for non-local goals. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_colourise_query/3 | Colourise a query, to be executed in the context of SourceId. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_colourise_stream/3 | Determine colour fragments for the data on Stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_colourise_term/4 | Colourise the next term on Stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
syntax_colour/2 | True when a range classified Class must be coloured using Attributes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
vararg_goal_classification/3 | Multifile hookable classification for vararg predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_format.pl -- Analyse format specifications![Show source Show source](/iati/swish/pldoc/res/source.png) |
format_spec/2 | Parse a format string. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
format_spec/3 | DCG for parsing format strings. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
format_types/2 | True when Format requires an argument list with terms of the type specified by Types. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_history.pl -- Per-directory persistent commandline history![Show source Show source](/iati/swish/pldoc/res/source.png) |
prolog_history/1 | Execute Action on the history. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_metainference.pl -- Infer meta-predicate properties![Show source Show source](/iati/swish/pldoc/res/source.png) |
infer_meta_predicate/2 | True when MetaSpec is a meta-predicate specifier for the predicate Head. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
inferred_meta_predicate/2 | True when MetaSpec is an inferred meta-predicate specification for Head. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_pack.pl -- A package manager for Prolog![Show source Show source](/iati/swish/pldoc/res/source.png) |
environment/2 | Hook to define the environment for building packs. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pack_info/1 | Print more detailed information about Pack. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pack_install/1 | Install a package. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pack_install/2 | Install package Name. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pack_list/1 | Query package server and installed packages and display results. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pack_list_installed/0 | List currently installed packages. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pack_property/2 | True when Property is a property of Pack. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pack_rebuild/0 | Rebuild foreign components of all packages. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pack_rebuild/1 | Rebuilt possible foreign components of Pack. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pack_remove/1 | Remove the indicated package. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pack_search/1 | Query package server and installed packages and display results. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pack_upgrade/1 | Try to upgrade the package Pack. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pack_url_file/2 | True if File is a unique id for the referenced pack and version. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_source.pl -- Examine Prolog source-files![Show source Show source](/iati/swish/pldoc/res/source.png) |
quasi_quotation_syntax/2 | True when the quasi quotation syntax Syntax can be loaded from Library. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_close_source/2 | Called by prolog_close_source/1 to close a source previously opened by the hook prolog:xref_open_source/2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_open_source/2 | Hook to open an xref SourceID. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
directory_source_files/3 | True when Files is a sorted list of Prolog source files in Dir. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
file_alias_path/2 | True if file Alias points to Dir. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
file_name_on_path/2 | True if OnPath a description of File based on the file search path. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_quasi_quotation_syntax/2 | Import quasi quotation syntax Syntax from Path into the module specified by the first argument. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
path_segments_atom/2 | Translate between a path represented as a/b/c and an atom representing the same path. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_canonical_source/2 | Given a user-specification of a source, generate a unique and indexable identifier for it. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_close_source/1 | Close a stream opened using prolog_open_source/2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_open_source/2 | Open source with given canonical id (see prolog_canonical_source/2) and remove the #! | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_read_source_term/4 | Read a term from a Prolog source-file. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_source_term_at_location/3 | Try to read a Prolog term form an arbitrary location inside a file. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
requires_library/2 | known expansion hooks. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_stack.pl -- Examine the Prolog stack![Show source Show source](/iati/swish/pldoc/res/source.png) |
backtrace/1 | Get and print a stacktrace to the user_error stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
get_prolog_backtrace/2 | Obtain a backtrace from the current location. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
get_prolog_backtrace/3 | Obtain a backtrace from the current location. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
print_prolog_backtrace/2 | Print a stacktrace in human readable form to Stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
print_prolog_backtrace/3 | Print a stacktrace in human readable form to Stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_stack_frame_property/2 | True when Property is a property of Frame. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
stack_guard/1 | Dynamic multifile hook that is normally not defined. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
stack_guard/1 | Dynamic multifile predicate. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_stream.pl -- A stream with Prolog callbacks![Show source Show source](/iati/swish/pldoc/res/source.png) |
open_prolog_stream/4 | Create a new stream that implements its I/O by calling predicates in Module. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_xref.pl -- Prolog cross-referencer data collection![Show source Show source](/iati/swish/pldoc/res/source.png) |
called_by/2 | If this succeeds, the cross-referencer assumes Goal may call any of the goals in ListOfCalled. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
hook/1 | True if Goal is a hook that is called spontaneously (e.g., from foreign code). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
meta_goal/2 | Define meta-predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_called/3 | Enumerate the predicate-call relations. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_called/4 | Enumerate the predicate-call relations. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_clean/1 | Reset the database for the given source. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_comment/3 | Is true when Source has a section comment with Title and Comment. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_comment/4 | Is true when Head in Source has the given PlDoc comment. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_current_source/1 | Check what sources have been analysed. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_defined/3 | Test if Goal is accessible in Source. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_definition_line/2 | If the 3th argument of xref_defined contains line info, return this in Line. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_done/2 | Cross-reference executed at Time. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_exported/2 | True when Source exports Head. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_hook/1 | Definition of known hooks. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_meta/2 | True when Called is a list of terms called from Head. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_meta/3 | True when Head calls Called in Source. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_mode/3 | Is true when Source provides a predicate with Mode and determinism. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_module/2 | True if Module is defined in Source. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_op/2 | Give the operators active inside the module. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_option/2 | True when Source was processed using Option. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_prolog_flag/4 | True when Flag is set to Value at Line in Source. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_public_list/3 | Find meta-information about File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_public_list/4 | Find meta-information about File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_public_list/6 | Find meta-information about File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_public_list/7 | Find meta-information about File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_source/1 | Generate the cross-reference data for Source if not already done and the source is not modified. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_source/2 | Generate the cross-reference data for Source if not already done and the source is not modified. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_source_file/3 | Find named source file from Spec, relative to Src. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_source_file/4 | Find named source file from Spec, relative to Src. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xref_uses_file/3 | True when Source tries to load a file using Spec. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pure_input.pl -- Pure Input from files and streams![Show source Show source](/iati/swish/pldoc/res/source.png) |
lazy_list_character_count/3 | True when CharCount is the current character count in the Lazy list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lazy_list_location/3 | Determine current (error) location in a lazy list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
phrase_from_file/2 | Process the content of File using the DCG rule Grammar. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
phrase_from_file/3 | As phrase_from_file/2, providing additional Options. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
phrase_from_stream/2 | Run Grammer against the character codes on Stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
stream_to_lazy_list/2 | Create a lazy list representing the character codes in Stream. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
syntax_error/3 | Throw the syntax error Error at the current location of the input. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
qsave.pl -- Save current program as a state or executable![Show source Show source](/iati/swish/pldoc/res/source.png) |
qsave_program/1 | Make a saved state in file `File'. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
qsave_program/2 | Make a saved state in file `File'. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
quasi_quotations.pl -- Define Quasi Quotation syntax![Show source Show source](/iati/swish/pldoc/res/source.png) |
quintus.pl -- Quintus compatibility![Show source Show source](/iati/swish/pldoc/res/source.png) |
abs/2 | Unify `Absolute' with the absolute value of `Number'. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
atom_char/2 | Same as ISO char_code/2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
compile/1 | Compile files. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
cos/2 | Math library predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
current_stream/3 | SICStus/Quintus and backward compatible predicate. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
date/1 | Get current date as date(Y,M,D) . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
genarg/3 | Generalised version of ISO arg/3. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
log/2 | Math library predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
log10/2 | Math library predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
midstring/3 | Too difficult to explain. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
midstring/4 | Too difficult to explain. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
midstring/5 | Too difficult to explain. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
midstring/6 | Too difficult to explain. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
mode/1 | Ignore a DEC10/Quintus :- mode(Head) declaration. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
no_style_check/1 | Same as SWI-Prolog style_check(-Style) . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
on_exception/3 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
otherwise/0 | For (A -> B ; otherwise -> C). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
prolog_flag/2 | Same as ISO current_prolog_flag/2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
raise_exception/1 | Quintus compatible exception handling. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
simple/1 | Term is atomic or a variable. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sin/2 | Math library predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
skip_line/0 | Skip the rest of the current line (on Stream). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
skip_line/1 | Skip the rest of the current line (on Stream). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
stream_position/3 | True when Old is the current position in Stream and the stream has been repositioned to New. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
tan/2 | Math library predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unix/1 | interface to Unix. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
random.pl -- Random numbers![Show source Show source](/iati/swish/pldoc/res/source.png) |
getrand/1 | Query/set the state of the random generator. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
maybe/0 | Succeed/fail with equal probability (variant of maybe/1). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
maybe/1 | Succeed with probability P, fail with probability 1-P. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
maybe/2 | Succeed with probability K/N (variant of maybe/1). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
random/1 | Binds R to a new random float in the open interval (0.0,1.0). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
random/3 | Generate a random integer or float in a range. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
random_between/3 | Binds R to a random integer in [L,U] (i.e., including both L and U). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
random_member/2 | X is a random member of List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
random_perm2/4 | Does X=A,Y=B or X=B,Y=A with equal probability. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
random_permutation/2 | Permutation is a random permutation of List. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
random_select/3 | Randomly select or insert an element. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
randseq/3 | S is a list of K unique random integers in the range 1..N. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
randset/3 | S is a sorted list of K unique random integers in the range 1..N. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
setrand/1 | Query/set the state of the random generator. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rbtrees.pl -- Red black trees![Show source Show source](/iati/swish/pldoc/res/source.png) |
is_rbtree/1 | True if Term is a valide Red-Black tree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_to_rbtree/2 | Tree is the red-black tree corresponding to the mapping in List, which should be a list of Key-Value pairs. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ord_list_to_rbtree/2 | Tree is the red-black tree corresponding to the mapping in list List, which should be a list of Key-Value pairs. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_apply/4 | If the value associated with key Key is Val0 in Tree, and if call(G,Val0,ValF) holds, then NewTree differs from Tree only in that Key is associated with value ValF in tree NewTree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_clone/3 | `Clone' the red-back tree TreeIn into a new tree TreeOut with the same keys as the original but with all values set to unbound values. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_del_max/4 | Delete the largest element from the tree Tree, returning the key Key, the value Val associated with the key and a new tree NewTree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_del_min/4 | Delete the least element from the tree Tree, returning the key Key, the value Val associated with the key and a new tree NewTree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_delete/3 | Delete element with key Key from the tree Tree, returning the value Val associated with the key and a new tree NewTree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_delete/4 | Delete element with key Key from the tree Tree, returning the value Val associated with the key and a new tree NewTree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_empty/1 | Succeeds if Tree is an empty Red-Black tree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_fold/4 | Fold the given predicate over all the key-value pairs in Tree, starting with initial state State0 and returning the final state State. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_in/3 | True when Key-Value is a key-value pair in red-black tree Tree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_insert/4 | Add an element with key Key and Value to the tree Tree creating a new red-black tree NewTree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_insert_new/4 | Add a new element with key Key and Value to the tree Tree creating a new red-black tree NewTree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_keys/2 | Keys is unified with an ordered list of all keys in the Red-Black tree Tree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_lookup/3 | True when Value is associated with Key in the Red-Black tree Tree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_map/2 | True if call(Goal, Value) is true for all nodes in T. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_map/3 | For all nodes Key in the tree Tree, if the value associated with key Key is Val0 in tree Tree, and if call(G,Val0,ValF) holds, then the value associated with Key in NewTree is ValF. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_max/3 | Key is the maximal key in Tree, and is associated with Val. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_min/3 | Key is the minimum key in Tree, and is associated with Val. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_new/1 | Create a new Red-Black tree Tree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_next/4 | Next is the next element after Key in Tree, and is associated with Val. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_partial_map/4 | For all nodes Key in Keys, if the value associated with key Key is Val0 in tree Tree, and if call(G,Val0,ValF) holds, then the value associated with Key in NewTree is ValF. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_previous/4 | Previous is the previous element after Key in Tree, and is associated with Val. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_size/2 | Size is the number of elements in Tree. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_update/4 | Tree NewTree is tree Tree, but with value for Key associated with NewVal. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_update/5 | Tree NewTree is tree Tree, but with value for Key associated with NewVal. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rb_visit/2 | Pairs is an infix visit of tree Tree, where each element of Pairs is of the form Key-Value. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rdf.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
load_rdf/2 | Parse an XML file holding an RDF term into a list of RDF triples. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_rdf/3 | Parse an XML file holding an RDF term into a list of RDF triples. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
process_rdf/3 | Process RDF from Input. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xml_to_rdf/3 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rdf_ntriples.pl -- RDF N-triples parser (obsolete)![Show source Show source](/iati/swish/pldoc/res/source.png) |
rdf_parser.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
element_to_plrdf/3 | Rewrite a single XML element. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rdf_name_space/1 | True if URL must be handled as rdf: Determines special handling of rdf:about, rdf:resource, etc. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xml_to_plrdf/3 | Translate an XML (using namespaces) term into an Prolog term representing the RDF data. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rdf_triple.pl -- Create triples from intermediate representation![Show source Show source](/iati/swish/pldoc/res/source.png) |
anon_prefix/1 | If defined, it is the prefix used to generate a blank node. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rdf_end_file/1 | Cleanup reaching the end of an RDF file. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rdf_reset_ids/0 | Utility predicate to reset the gensym counters for the various generated identifiers. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rdf_start_file/2 | Initialise for the translation of a file. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rdf_triples/2 | Convert an object as parsed by rdf.pl into a list of rdf/3 triples. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rdf_triples/3 | Convert an object as parsed by rdf.pl into a list of rdf/3 triples. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rdf_write.pl -- Write RDF/XML from a list of triples![Show source Show source](/iati/swish/pldoc/res/source.png) |
rdf_write_xml/2 | Write an RDF/XML serialization of Triples to Out. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
readline.pl -- GNU readline interface![Show source Show source](/iati/swish/pldoc/res/source.png) |
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![Show source Show source](/iati/swish/pldoc/res/source.png) |
read_file_to_codes/3 | Read the file Spec into a list of Codes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_file_to_string/3 | Read the file Spec into a the string String. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_file_to_terms/3 | Read the file Spec into a list of terms. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_line_to_codes/2 | Read a line of input from In into a list of character codes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_line_to_codes/3 | Read a line of input as a difference list. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_line_to_string/2 | Read the next line from Stream into String. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_stream_to_codes/2 | Read input from Stream to a list of character codes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
read_stream_to_codes/3 | Read input from Stream to a list of character codes. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
record.pl -- Access compound arguments by name![Show source Show source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
current_record_predicate/2 | True if PI is the predicate indicator for an access predicate to Record. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
record/1 | Define access predicates for a compound-term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rewrite.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
rewrite/2 | Invoke the term-rewriting system. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rlimit.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
sandbox.pl -- Sandboxed Prolog code![Show source Show source](/iati/swish/pldoc/res/source.png) |
sandbox_allowed_directive/1 | Throws an exception if G is not considered a safe directive. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sandbox_allowed_expansion/1 | Throws an exception if G is not considered a safe expansion goal. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sandbox_allowed_goal/1 | Throw an exception if it is not safe to call G. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
safe_call/1 | Call Goal if it complies with the sandboxing rules. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
safe_directive/1 | Hook to declare additional directives as safe. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
safe_global_variable/1 | Declare the given global variable safe to write to. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
safe_goal/1 | True if calling Goal provides no security risc. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
safe_meta/2 | Hook. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
settings.pl -- Setting management![Show source Show source](/iati/swish/pldoc/res/source.png) |
convert_setting_text/3 | Converts from textual form to Prolog Value. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
current_setting/1 | True if Setting is a currently defined setting. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_settings/0 | List settings to current_output . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
list_settings/1 | List settings to current_output . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_settings/1 | Load local settings from File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_settings/2 | Load local settings from File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
restore_setting/1 | Restore the value of setting Name to its default. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
save_settings/0 | Save modified settings to File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
save_settings/1 | Save modified settings to File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
set_setting/2 | Change a setting. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
set_setting_default/2 | Change the default for a setting. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
setting/2 | True when Name is a currently defined setting with Value. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
setting/4 | Define a setting. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
setting_property/2 | Query currently defined settings. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sgml.pl -- SGML, XML and HTML parser![Show source Show source](/iati/swish/pldoc/res/source.png) |
dtd/2 | DTD is a DTD object created from the file dtd(Type) . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_dtd/3 | Load DtdFile into a DTD. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_html/3 | Load HTML text from Input and unify the resulting DOM structure with DOM. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_html_file/2 | Load HTML from File and unify the resulting DOM structure with DOM. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_sgml/3 | Load SGML text from Input and unify the resulting DOM structure with DOM. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_sgml_file/2 | Load SGML from File and unify the resulting DOM structure with DOM. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_structure/3 | Parse Source and return the resulting structure in ListOfContent. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_xml/3 | Load XML text from Input and unify the resulting DOM structure with DOM. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_xml_file/2 | Load XML from File and unify the resulting DOM structure with DOM. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xml_basechar/1 | XML character classification predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xml_combining_char/1 | XML character classification predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xml_digit/1 | XML character classification predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xml_extender/1 | XML character classification predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xml_ideographic/1 | XML character classification predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xml_is_dom/1 | True if term statisfies the structure as returned by load_structure/3 and friends. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xml_name/1 | True if Atom is a valid XML name. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xml_quote_attribute/2 | Backward compatibility for versions that allow to specify encoding. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xml_quote_cdata/2 | Backward compatibility for versions that allow to specify encoding. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sgml_write.pl -- XML/SGML writer module![Show source Show source](/iati/swish/pldoc/res/source.png) |
html_write/2 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
html_write/3 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sgml_write/2 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sgml_write/3 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xml_write/2 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xml_write/3 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xmlns/2 | Hook to define human readable abbreviations for XML namespaces. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sha.pl -- SHA secure hashes![Show source Show source](/iati/swish/pldoc/res/source.png) |
file_sha1/2 | True when SHA1 is the SHA1 hash for the content of File. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
hash_atom/2 | Convert a list of bytes (integers 0..255) into the usual hexadecimal notation. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
hmac_sha/4 | For Options, see sha_hash/3. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sha_hash/3 | Hash is the SHA hash of Data, The conversion is controlled by Options:. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sha_hash_ctx/4 | Hash is the SHA hash of Data. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
shell.pl -- Elementary shell commands![Show source Show source](/iati/swish/pldoc/res/source.png) |
cd/0 | Change working directory. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
cd/1 | Change working directory. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
dirs/0 | Manage the directory stack:. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ls/0 | Listing similar to Unix =ls -F=, flagging directories with =/=. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ls/1 | Listing similar to Unix =ls -F=, flagging directories with =/=. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
mv/2 | Move (Rename) a file. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
popd/0 | Manage the directory stack:. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pushd/0 | Manage the directory stack:. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pushd/1 | Manage the directory stack:. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
pwd/0 | Print current working directory. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
rm/1 | Remove (unlink) a file. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
shell/0 | Execute an interactive shell. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)![Show source Show source](/iati/swish/pldoc/res/source.png) |
current_foreign_library/2 | Query currently loaded shared libraries. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_foreign_library/1 | Load a shared object or DLL. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
load_foreign_library/2 | Load a shared object or DLL. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
reload_foreign_libraries/0 | Reload all foreign libraries loaded (after restore of a state created using qsave_program/2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unload_foreign_library/1 | Unload a shared object or DLL. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unload_foreign_library/2 | Unload a shared object or DLL. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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 . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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 . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
snowball.pl -- The Snowball multi-lingual stemmer library![Show source Show source](/iati/swish/pldoc/res/source.png) |
snowball/3 | Apply the Snowball Algorithm on Input and unify the result (an atom) with Stem. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
snowball_current_algorithm/1 | True if Algorithm is the official name of an algorithm suported by snowball/3. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
socket.pl -- Network socket (TCP and UDP) library![Show source Show source](/iati/swish/pldoc/res/source.png) |
solution_sequences.pl -- Modify solution sequences![Show source Show source](/iati/swish/pldoc/res/source.png) |
distinct/1 | True if Goal is true and no previous solution of Goal bound Witness to the same value. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
distinct/2 | True if Goal is true and no previous solution of Goal bound Witness to the same value. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
group_by/4 | Group bindings of Template that have the same value for By. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
limit/2 | Limit the number of solutions. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
offset/2 | Ignore the first Count solutions. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
order_by/2 | Order solutions according to Spec. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
reduced/1 | Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
reduced/3 | Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
sort.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
locale_sort/2 | Sort a list of atoms using the current locale. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
predsort/3 | Sorts similar to sort/2, but determines the order of two terms by calling Compare(-Delta, +E1, +E2). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ssl.pl -- Secure Socket Layer (SSL) library![Show source Show source](/iati/swish/pldoc/res/source.png) |
statistics.pl -- Get information about resource usage![Show source Show source](/iati/swish/pldoc/res/source.png) |
profile/1 | Run Goal under the execution profiler. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
profile/2 | Run Goal under the execution profiler. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
show_profile/1 | Display last collected profiling data. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
statistics/0 | Print information about resource usage using print_message/2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
statistics/1 | Stats is a dict representing the same information as statistics/0. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
thread_statistics/2 | Obtain statistical information about a single thread. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
time/1 | Execute Goal, reporting statistics to the user. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
streampool.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
syslog.pl -- Unix syslog interface![Show source Show source](/iati/swish/pldoc/res/source.png) |
system.pl -- System utilities![Show source Show source](/iati/swish/pldoc/res/source.png) |
lock_predicate/1 | Transform a predicate into a system predicate. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
system_mode/1 | Switch the system into system or user mode. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
system_module/0 | Any predicate defined after this declaraction uptil the end of the file will become a system predicate. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unlock_predicate/1 | Transform a system predicate into a normal system predicate. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
table.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
tabling.pl -- Tabled execution (SLG WAM)![Show source Show source](/iati/swish/pldoc/res/source.png) |
rename_predicate/2 | Hook into term_expansion for post processing renaming of the generated predicate. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
safe_directive/1 | Allow tabling directives that affect locally defined predicates. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
abolish_all_tables/0 | Remove all tables. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
abolish_table_subgoals/1 | Abolish all tables that unify with SubGoal. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
current_table/2 | True when Trie is the answer table for Variant. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
start_tabling/2 | Execute Implementation using tabling. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
table/1 | Prepare the given PredicateIndicators for tabling. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
term_to_json.pl![Show source Show source](/iati/swish/pldoc/res/source.png) |
term_to_json/2 | Convert any general Prolog term into a JSON term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
term_to_json/3 | Convert any general Prolog term into a JSON term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
terms.pl -- Term manipulation![Show source Show source](/iati/swish/pldoc/res/source.png) |
subsumes/2 | True if Generic is unified to Specific without changing Specific. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
subsumes_chk/2 | True if Generic can be made equivalent to Specific without changing Specific. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
term_size/2 | True if Size is the size in cells occupied by Term on the global (term) stack. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
term_subsumer/3 | General is the most specific term that is a generalisation of Special1 and Special2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
variant/2 | Same as SWI-Prolog Term1 =@= Term2 . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
thread.pl -- High level thread primitives![Show source Show source](/iati/swish/pldoc/res/source.png) |
concurrent/3 | Run Goals in parallel using N threads. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
concurrent_maplist/2 | Concurrent version of maplist/2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
concurrent_maplist/3 | Concurrent version of maplist/2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
concurrent_maplist/4 | Concurrent version of maplist/2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
first_solution/3 | Try alternative solvers concurrently, returning the first answer. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
thread_pool.pl -- Resource bounded thread management![Show source Show source](/iati/swish/pldoc/res/source.png) |
create_pool/1 | Hook to create a thread pool lazily. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
current_thread_pool/1 | True if Name refers to a defined thread pool. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
thread_create_in_pool/4 | Create a thread in Pool. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
thread_pool_create/3 | Create a pool of threads. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
thread_pool_destroy/1 | Destroy the thread pool named Name. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
thread_pool_property/2 | True if Property is a property of thread pool Name. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
threadutil.pl -- Interactive thread utilities![Show source Show source](/iati/swish/pldoc/res/source.png) |
attach_console/0 | Create a new console and make the standard Prolog streams point to it. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
attach_console/1 | Create a new console and make the standard Prolog streams point to it. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
interactor/0 | Run a Prolog toplevel in another thread with a new console window. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
interactor/1 | Run a Prolog toplevel in another thread with a new console window. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
join_threads/0 | Join all terminated threads. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
tdebug/0 | Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
tdebug/1 | Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
thread_has_console/0 | True when the calling thread has an attached console. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
thread_run_interactor/0 | Attach a console and run a Prolog toplevel in the current thread. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
threads/0 | List currently known threads with their status. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
tnodebug/0 | Disable debug-mode in all threads or the specified Thread. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
tnodebug/1 | Disable debug-mode in all threads or the specified Thread. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
tprofile/1 | Profile the operation of Thread until the user hits a key. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
tspy/1 | Trap the graphical debugger on reaching Spec in the specified or any thread. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
tspy/2 | Trap the graphical debugger on reaching Spec in the specified or any thread. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xterm_args/1 | Multifile and dynamic hook that provides (additional) arguments for the xterm(1) process opened for additional thread consoles. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
time.pl -- Time and alarm library![Show source Show source](/iati/swish/pldoc/res/source.png) |
alarm/3 | Set up an alarm to be signaled Time seconds from now. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
alarm/4 | Set up an alarm to be signaled Time seconds from now. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
alarm_at/3 | As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
alarm_at/4 | As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
call_with_time_limit/2 | Call Goal, while watching out for a (wall-time) limit. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
current_alarm/4 | Enumerate the alarms in the schedule. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
install_alarm/1 | Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
install_alarm/2 | Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
remove_alarm/1 | Remove an alarm. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uninstall_alarm/1 | De-activate an alarm. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
tty.pl -- Terminal operations![Show source Show source](/iati/swish/pldoc/res/source.png) |
menu/3 | Show a menu. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
tty_clear/0 | Clear the display. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
tty_flash/0 | Give visual signal if possible, otherwise beep. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
udp_broadcast.pl -- A UDP Broadcast Bridge![Show source Show source](/iati/swish/pldoc/res/source.png) |
udp_broadcast_initialize/2 | causes any required runtime initialization to occur. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
udp_broadcast_service/2 | provides the UDP broadcast address for a given Domain. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
udp_host_to_address/2 | locates a UDP service by name. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ugraphs.pl -- Graph manipulation library![Show source Show source](/iati/swish/pldoc/res/source.png) |
compose/3 | Calculates the composition of two S-form graphs, which need not have the same set of vertices. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
edges/2 | Edges is the set of edges in UGraph. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
neighbors/3 | Neigbours is a sorted list of the neighbours of Vertex in Graph. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
neighbours/3 | Neigbours is a sorted list of the neighbours of Vertex in Graph. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
top_sort/2 | Sorted is a topological sorted list of nodes in Graph. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
top_sort/3 | Sorted is a topological sorted list of nodes in Graph. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
ugraph_union/3 | Is true when Union is the union of Set1 and Set2. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
vertices/2 | Strips off the neighbours lists of an S-representation to produce a list of the vertices of the graph. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
vertices_edges_to_ugraph/3 | Create a UGraph from Vertices and edges. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uid.pl -- User and group management on Unix systems![Show source Show source](/iati/swish/pldoc/res/source.png) |
unicode.pl -- Unicode string handling![Show source Show source](/iati/swish/pldoc/res/source.png) |
unicode_map/3 | Perform unicode normalization operations. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unicode_nfc/2 | Characters are decomposed and then recomposed by canonical equivalence. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unicode_nfd/2 | Characters are decomposed by canonical equivalence. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unicode_nfkc/2 | Characters are decomposed by compatibility equivalence, then recomposed by canonical equivalence. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unicode_nfkd/2 | Characters are decomposed by compatibility equivalence. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unicode_property/2 | True if Property is defined for Char. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
unix.pl -- Unix specific operations![Show source Show source](/iati/swish/pldoc/res/source.png) |
uri.pl -- Process URIs![Show source Show source](/iati/swish/pldoc/res/source.png) |
iri_normalized/2 | NormalizedIRI is the normalized form of IRI. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
iri_normalized/3 | NormalizedGlobalIRI is the normalized global version of IRI. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_authority_components/2 | Break-down the authority component of a URI. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_authority_data/3 | Provide access the uri_authority structure. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_components/2 | Break a URI into its 5 basic components according to the RFC-3986 regular expression:. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_data/3 | Provide access the uri_component structure. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_data/4 | NewComponents is the same as Components with Field set to Data. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_encoded/3 | Encoded is the URI encoding for Value. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_file_name/2 | Convert between a URI and a local file_name. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_iri/2 | Convert between a URI, encoded in US-ASCII and an IRI. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_is_global/1 | True if URI has a scheme. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_normalized/2 | NormalizedURI is the normalized form of URI. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_normalized/3 | NormalizedGlobalURI is the normalized global version of URI. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_normalized_iri/2 | As uri_normalized/2, but percent-encoding is translated into IRI Unicode characters. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_normalized_iri/3 | NormalizedGlobalIRI is the normalized global IRI of URI. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_query_components/2 | Perform encoding and decoding of an URI query string. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uri_resolve/3 | Resolve a possibly local URI relative to Base. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
url.pl -- Analysing and constructing URL![Show source Show source](/iati/swish/pldoc/res/source.png) |
file_name_to_url/2 | Translate between a filename and a file:// URL. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
global_url/3 | Translate a possibly relative URL into an absolute one. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
http_location/2 | Construct or analyze an HTTP location. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
is_absolute_url/1 | True if URL is an absolute URL. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
parse_url/2 | Construct or analyse a URL. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
parse_url/3 | Similar to parse_url/2 for relative URLs. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
parse_url_search/2 | Construct or analyze an HTTP search specification. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
set_url_encoding/2 | Query and set the encoding for URLs. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
url_iri/2 | Convert between a URL, encoding in US-ASCII and an IRI. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
www_form_encode/2 | En/decode to/from application/x-www-form-encoded. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.![Show source Show source](/iati/swish/pldoc/res/source.png) |
utf8_codes/3 | DCG translating between a Unicode code-list and its UTF-8 encoded byte-string. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uuid.pl -- Universally Unique Identifier (UUID) Library![Show source Show source](/iati/swish/pldoc/res/source.png) |
uuid/1 | UUID is an atom representing a new UUID. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
uuid/2 | Create a new UUID according to Options. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
varnumbers.pl -- Utilities for numbered terms![Show source Show source](/iati/swish/pldoc/res/source.png) |
max_var_number/3 | True when Max is the max of Start and the highest numbered $VAR(N) term. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
numbervars/1 | Number variables in Term using $VAR(N). | ![Show source Source](/iati/swish/pldoc/res/source.png) |
varnumbers/2 | Inverse of numbervars/1. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
varnumbers/3 | Inverse of numbervars/3. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
when.pl -- Conditional coroutining![Show source Show source](/iati/swish/pldoc/res/source.png) |
when/2 | Execute Goal when Condition is satisfied. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
win_menu.pl -- Console window menu![Show source Show source](/iati/swish/pldoc/res/source.png) |
writef.pl -- Old-style formatted write![Show source Show source](/iati/swish/pldoc/res/source.png) |
swritef/2 | Use writef/1 or writef/2 and write the result to a string. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
swritef/3 | Use writef/1 or writef/2 and write the result to a string. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
writef/1 | Formatted write to the current_output . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
writef/2 | Formatted write to the current_output . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
www_browser.pl -- Open a URL in the users browser![Show source Show source](/iati/swish/pldoc/res/source.png) |
expand_url_path/2 | Expand URL specifications similar to absolute_file_name/3. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
known_browser/2 | True if browser FileBaseName has a remote protocol compatible to Compatible. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
www_open_url/1 | Open URL in running version of the users' browser or start a new browser. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xmldsig.pl -- XML Digital signature![Show source Show source](/iati/swish/pldoc/res/source.png) |
xmld_signed_DOM/3 | Translate an XML DOM structure in a signed version. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xmld_verify_signature/4 | Confirm that an ds:Signature element contains a valid signature. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xmlenc.pl -- XML encryption library![Show source Show source](/iati/swish/pldoc/res/source.png) |
decrypt_xml/4 | | ![Show source Source](/iati/swish/pldoc/res/source.png) |
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. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xpath.pl -- Select nodes in an XML DOM![Show source Show source](/iati/swish/pldoc/res/source.png) |
xpath/3 | Match an element in a DOM structure. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xpath_chk/3 | Semi-deterministic version of xpath/3. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xsdp_types.pl -- XML-Schema primitive types![Show source Show source](/iati/swish/pldoc/res/source.png) |
xsdp_convert/3 | Convert the content model Content to an object of the given XSD type and return the Prolog value in Value. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xsdp_numeric_uri/2 | Table mapping all XML-Schema numeric URIs into the type they promote to. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xsdp_subtype_of/2 | True if Type is a (transitive) subtype of Super. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xsdp_type/1 | Test/generate the names for the XML schema primitive types. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
xsdp_uri_type/2 | True if URI is the URI for the the XML-Schema primitive Type. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
yall.pl -- Lambda expressions![Show source Show source](/iati/swish/pldoc/res/source.png) |
//2 | Shorthand for Free/[]>>Lambda . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
//3 | Shorthand for Free/[]>>Lambda . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
//4 | Shorthand for Free/[]>>Lambda . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
//5 | Shorthand for Free/[]>>Lambda . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
//6 | Shorthand for Free/[]>>Lambda . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
//7 | Shorthand for Free/[]>>Lambda . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
//8 | Shorthand for Free/[]>>Lambda . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
//9 | Shorthand for Free/[]>>Lambda . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
>>/2 | Calls a copy of Lambda. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
>>/3 | Calls a copy of Lambda. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
>>/4 | Calls a copy of Lambda. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
>>/5 | Calls a copy of Lambda. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
>>/6 | Calls a copy of Lambda. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
>>/7 | Calls a copy of Lambda. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
>>/8 | Calls a copy of Lambda. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
>>/9 | Calls a copy of Lambda. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
is_lambda/1 | True if Term is a valid Lambda expression. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lambda_calls/2 | Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
lambda_calls/3 | Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
zlib.pl -- Zlib wrapper for SWI-Prolog![Show source Show source](/iati/swish/pldoc/res/source.png) |
encoding_filter/3 | Act as plugin for library(http/http_open) for processing content with Content-encoding: gzip . | ![Show source Source](/iati/swish/pldoc/res/source.png) |
gzopen/3 | Open a file compatible with the gzip program. | ![Show source Source](/iati/swish/pldoc/res/source.png) |
gzopen/4 | Open a file compatible with the gzip program. | ![Show source Source](/iati/swish/pldoc/res/source.png) |