Did you know ... Search Documentation:
Title for pldoc(dir_index)

library

Prolog files

aggregate.pl  -- Aggregation operators on backtrackable predicatesShow source
aggregate/3Aggregate bindings in Goal according to Template.Source
aggregate/4Aggregate bindings in Goal according to Template.Source
aggregate_all/3Aggregate bindings in Goal according to Template.Source
aggregate_all/4Aggregate bindings in Goal according to Template.Source
foreach/2True when the conjunction of instances of Goal created from solutions for Generator is true.Source
free_variables/4Find free variables in bagof/setof template.Source
safe_meta/2Declare the aggregate meta-calls safe.Source
ansi_term.pl  -- Print decorated text to ANSI consolesShow source
apply.pl  -- Apply predicates on a listShow source
convlist/3Similar to maplist/3, but elements for which call(Goal, ElemIn, _) fails are omitted from ListOut.Source
exclude/3Filter elements for which Goal fails.Source
foldl/4Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal.Source
foldl/5Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal.Source
foldl/6Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal.Source
foldl/7Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal.Source
include/3Filter elements for which Goal succeeds.Source
maplist/2True if Goal is successfully applied on all matching elements of the list.Source
maplist/3True if Goal is successfully applied on all matching elements of the list.Source
maplist/4True if Goal is successfully applied on all matching elements of the list.Source
maplist/5True if Goal is successfully applied on all matching elements of the list.Source
partition/4Filter elements of List according to Pred.Source
partition/5Filter List according to Pred in three sets.Source
scanl/4Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal.Source
scanl/5Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal.Source
scanl/6Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal.Source
scanl/7Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal.Source
apply_macros.pl  -- Goal expansion rules to avoid meta-callingShow source
archive.pl  -- Access several archive formatsShow source
arithmetic.pl  -- Extensible arithmeticShow source
assoc.pl  -- Binary associationsShow source
assoc_to_keys/2True if Keys is the list of keys in Assoc.Source
assoc_to_list/2Translate Assoc to a list Pairs of Key-Value pairs.Source
assoc_to_values/2True if Values is the list of values in Assoc.Source
del_assoc/4True if Key-Value is in Assoc0.Source
del_max_assoc/4True if Key-Value is in Assoc0 and Key is the greatest key.Source
del_min_assoc/4True if Key-Value is in Assoc0 and Key is the smallest key.Source
empty_assoc/1Is true if Assoc is the empty association list.Source
gen_assoc/3True if Key-Value is an association in Assoc.Source
get_assoc/3True if Key-Value is an association in Assoc.Source
get_assoc/5True if Key-Val0 is in Assoc0 and Key-Val is in Assoc.Source
is_assoc/1True if Assoc is an association list.Source
list_to_assoc/2Create an association from a list Pairs of Key-Value pairs.Source
map_assoc/2True if Pred(Value) is true for all values in Assoc.Source
map_assoc/3Map corresponding values.Source
max_assoc/3True if Key-Value is in Assoc and Key is the largest key.Source
min_assoc/3True if Key-Value is in assoc and Key is the smallest key.Source
ord_list_to_assoc/2Assoc is created from an ordered list Pairs of Key-Value pairs.Source
put_assoc/4Assoc is Assoc0, except that Key is associated with Value.Source
atom.pl  -- Operations on atomsShow source
identifier_parts/2Parts is a list of atoms that make up Identifier.Source
join_identifier_parts/3Join parts of an identifier according to Style.Source
restyle_identifier/3Restyle an identifier by extracting the alnum substrings and joining them together according to Style.Source
backcomp.pl  -- Backward compatibilityShow source
base32.pl  -- Base32 encoding and decodingShow source
base64.pl  -- Base64 encoding and decodingShow source
bdb.pl  -- Berkeley DB interfaceShow source
bdb_close/1Close BerkeleyDB database indicated by DB.Source
bdb_close_environment/1Close a database environment that was explicitly created using bdb_init/2.Source
bdb_closeall/0Close all currently open databases and environments.Source
bdb_current/1True when DB is a handle to a currently open database.Source
bdb_current_environment/1True when Environment is a currently known environment.Source
bdb_del/3Delete the first matching key-value pair from the database.Source
bdb_delall/3Delete all matching key-value pairs from the database.Source
bdb_enum/3Enumerate the whole database, unifying the key-value pairs to Key and Value.Source
bdb_environment_property/2True when Property is a property of Environment.Source
bdb_get/3Query the database.Source
bdb_getall/3Get all values associated with Key.Source
bdb_init/1Initialise a DB environment.Source
bdb_init/2Initialise a DB environment.Source
bdb_open/4Open File holding a database.Source
bdb_put/3Add a new key-value pair to the database.Source
bdb_transaction/1Start a transaction, execute Goal and terminate the transaction.Source
bdb_transaction/2Start a transaction, execute Goal and terminate the transaction.Source
bdb_version/1True when Version identifies the database version.Source
broadcast.pl  -- Event serviceShow source
c14n2.pl  -- C14n2 canonical XML documentsShow source
cgi.pl  -- Read CGI parametersShow source
charsio.pl  -- I/O on Lists of Character CodesShow source
check.pl  -- Consistency checkingShow source
check/0Run all consistency checks defined by checker/2.Source
checker/2Register code validation routines.Source
list_autoload/0Report predicates that may be auto-loaded.Source
list_cross_module_calls/0List calls from one module to another using Module:Goal where the callee is not defined exported, public or multifile, i.e., where the callee should be considered private.Source
list_format_errors/0List argument errors for format/2,3.Source
list_format_errors/1List argument errors for format/2,3.Source
list_rationals/0List rational numbers that appear in clauses.Source
list_rationals/1List rational numbers that appear in clauses.Source
list_redefined/0Lists 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.Source
list_strings/0List strings that appear in clauses.Source
list_strings/1List strings that appear in clauses.Source
list_trivial_fails/0List goals that trivially fail because there is no matching clause.Source
list_trivial_fails/1List goals that trivially fail because there is no matching clause.Source
list_undefined/0Report undefined predicates.Source
list_undefined/1Report undefined predicates.Source
list_void_declarations/0List predicates that have declared attributes, but no clauses.Source
string_predicate/1Multifile hook to disable list_strings/0 on the given predicate.Source
trivial_fail_goal/1Multifile hook that tells list_trivial_fails/0 to accept Goal as valid.Source
valid_string_goal/1Multifile hook that qualifies Goal as valid for list_strings/0.Source
check_installation.pl  -- Check installation issues and featuresShow source
chr.plShow source
debug_ask_continue/1Hook to ask for a CHR debug continuation.Source
debug_event/2Hook into the CHR debugger.Source
debug_interact/3Hook into the CHR debugger to display Event and ask for the next command to execute.Source
codesio.pl  -- I/O on Lists of Character CodesShow source
format_to_codes/3Use format/2 to write to a list of character codes.Source
format_to_codes/4Use format/2 to write to a difference list of character codes.Source
open_codes_stream/2Open Codes as an input stream.Source
read_from_codes/2Read Codes into Term.Source
read_term_from_codes/3Read Codes into Term.Source
with_output_to_codes/2Run Goal with as once/1.Source
with_output_to_codes/3Run Goal with as once/1.Source
with_output_to_codes/4As with_output_to_codes/3, but Stream is unified with the temporary stream.Source
write_term_to_codes/3True when Codes is a string that matches the output of write_term/3 using Options.Source
write_term_to_codes/4True when Codes\Tail is a difference list containing the character codes that matches the output of write_term/3 using Options.Source
write_to_codes/2Codes is a list of character codes produced by write/1 on Term.Source
write_to_codes/3Codes is a difference-list of character codes produced by write/1 on Term.Source
coinduction.pl  -- Co-Logic ProgrammingShow source
console_input.plShow source
complete_input/4Compute auto completions for the input line BeforeCursor+AfterCursor.Source
crypt.plShow source
crypto.pl  -- Cryptography and authentication libraryShow source
csv.pl  -- Process CSV (Comma-Separated Values) dataShow source
ctypes.pl  -- Character code classificationShow source
is_digit/3Succeeds if `C' is a digit using `Base' as base and `Weight' represents its value.Source
is_paren/2True if Open is the open-parenthesis of Close.Source
to_lower/2Downcase a character code.Source
to_upper/2Upcase a character code.Source
upper_lower/2True when U is the character code of an uppercase character and L is the character code of the corresponding lowercase character.Source
date.pl  -- Process dates and timesShow source
debug.pl  -- Print debug messages and test assertionsShow source
dialect.pl  -- Support multiple Prolog dialectsShow source
expects_dialect/1Tell Prolog all subsequent code to the end of the file or the next :- expects_dialect/1 directive is written for the indicated Dialect.Source
source_exports/2True if Source exports Export.Source
dicts.pl  -- Dict utilitiesShow source
dict_fill/4Implementation for the dicts_to_same_keys/3 OnEmpty closure that fills new cells with a copy of ValueIn.Source
dict_keys/2True when Keys is an ordered set of the keys appearing in Dict.Source
dict_size/2True when KeyCount is the number of keys in Dict.Source
dicts_join/3Join dicts in Dicts that have the same value for Key, provided they do not have conflicting values on other keys.Source
dicts_join/4Join two lists of dicts (Dicts1 and Dicts2) on Key.Source
dicts_same_keys/2True if List is a list of dicts that all have the same keys and Keys is an ordered set of these keys.Source
dicts_same_tag/2True when List is a list of dicts that all have the tag Tag.Source
dicts_slice/3DictsOut is a list of Dicts only containing values for Keys.Source
dicts_to_compounds/4True 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.Source
dicts_to_same_keys/3DictsOut is a copy of DictsIn, where each dict contains all keys appearing in all dicts of DictsIn.Source
dif.pl  -- The dif/2 constraintShow source
doc_files.pl  -- Create stand-alone documentation filesShow source
doc_http.pl  -- Documentation serverShow source
doc_browser/0Open user's default browser on the documentation server.Source
doc_browser/1Open user's default browser on the documentation server.Source
doc_enable/1Actually activate the PlDoc server.Source
doc_server/1Start a documentation server in the current Prolog process.Source
doc_server/2Start a documentation server in the current Prolog process.Source
doc_latex.pl  -- PlDoc LaTeX backendShow source
doc_latex/3Process one or more objects, writing the LaTeX output to OutFile.Source
latex_for_file/3Generate a LaTeX description of all commented predicates in File, writing the LaTeX text to the stream Out.Source
latex_for_predicates/3Generate LaTeX for a list of predicate indicators.Source
latex_for_wiki_file/3Write a LaTeX translation of a Wiki file to the steam Out.Source
double_metaphone.pl  -- Phonetic string matchingShow source
edinburgh.pl  -- Some traditional Edinburgh predicatesShow source
edit.pl  -- Editor interfaceShow source
edit/0Edit associated or script file.Source
edit/1Edit indicated object.Source
edit_command/2This predicate should specify the shell-command called to invoke the user's editor.Source
locate/2Locate object from the specified location.Source
locate/3Source
select_location/3Source
editline.pl  -- BSD libedit based command line editingShow source
el_add_history/2Add a line to the command line history.Source
el_addfn/4Add a new command to the command line editor associated with Input.Source
el_bind/2Invoke the libedit bind command with the given arguments.Source
el_cursor/2Move the cursor Move character forwards (positive) or backwards (negative).Source
el_deletestr/2Delete Count characters before the cursor.Source
el_history/2Perform a generic action on the history.Source
el_history_events/2Unify 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.Source
el_insertstr/2Insert Text at the cursor.Source
el_line/2Fetch the currently buffered input line.Source
el_read_history/2Read the history saved using el_write_history/2.Source
el_setup/1This 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.Source
el_source/2Initialise editline by reading the contents of File.Source
el_unwrap/1Remove the libedit wrapper for In and the related output and error streams.Source
el_wrap/0Enable using editline on the standard user streams if user_input is connected to a terminal.Source
el_wrap/4Enable editline on the stream-triple <In,Out,Error>.Source
el_wrapped/1True if In is a stream wrapped by el_wrap/3.Source
el_write_history/2Save editline history to File.Source
error.pl  -- Error generating supportShow source
current_encoding/1True if Name is the name of a supported encoding.Source
current_type/3True when Type is a currently defined type and Var satisfies Type of the body term Body succeeds.Source
domain_error/2The argument is of the proper type, but has a value that is outside the supported values.Source
existence_error/2Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it.Source
existence_error/3Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it in the provided set.Source
has_type/2True if Term satisfies Type.Source
instantiation_error/1An argument is under-instantiated.Source
is_of_type/2True if Term satisfies Type.Source
must_be/2True if Term satisfies the type constraints for Type.Source
permission_error/3It is not allowed to perform Operation on (whatever is represented by) Culprit that is of the given PermissionType (in fact, the ISO Standard is confusing and vague about these terms' meaning).Source
representation_error/1A representation error indicates a limitation of the implementation.Source
resource_error/1A goal cannot be completed due to lack of resources.Source
syntax_error/1A text has invalid syntax.Source
type_error/2Tell the user that Culprit is not of the expected ValidType.Source
uninstantiation_error/1An argument is over-instantiated.Source
explain.pl  -- Describe Prolog TermsShow source
fastrw.pl  -- Fast reading and writing of termsShow source
files.plShow source
filesex.pl  -- Extended operations on filesShow source
gensym.pl  -- Generate unique symbolsShow source
git.pl  -- Run GIT commandsShow source
hash_stream.pl  -- Maintain a hash on a streamShow source
hashtable.pl  -- Hash tablesShow source
heaps.pl  -- heaps/priority queuesShow source
help.pl  -- Text based manualShow source
hotfix.pl  -- Load hotfixes into executablesShow source
increval.pl  -- Incremental dynamic predicate modificationShow source
intercept.pl  -- Intercept and signal interfaceShow source
iostream.pl  -- Utilities to deal with streamsShow source
close_any/1Execute the Close closure returned by open_any/5.Source
open_any/5Establish a stream from Specification that should be closed using Close, which can either be called or passed to close_any/1.Source
iso_639.plShow source
isub.pl  -- isub: a string similarity measureShow source
jpl.pl  -- A Java interface for SWI Prolog 7.xShow source
lazy_lists.pl  -- Lazy list handlingShow source
listing.pl  -- List programs and pretty print clausesShow source
lists.pl  -- List ManipulationShow source
append/2Concatenate a list of lists.Source
append/3List1AndList2 is the concatenation of List1 and List2.Source
clumped/2Pairs is a list of Item-Count pairs that represents the run length encoding of Items.Source
delete/3Delete matching elements from a list.Source
flatten/2Is true if FlatList is a non-nested version of NestedList.Source
intersection/3True if Set3 unifies with the intersection of Set1 and Set2.Source
is_set/1True if Set is a proper list without duplicates.Source
last/2Succeeds when Last is the last element of List.Source
list_to_set/2True when Set has the same elements as List in the same order.Source
max_list/2True if Max is the largest number in List.Source
max_member/2True when Max is the largest member in the standard order of terms.Source
max_member/3True when Max is the largest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2.Source
member/2True if Elem is a member of List.Source
min_list/2True if Min is the smallest number in List.Source
min_member/2True when Min is the smallest member in the standard order of terms.Source
min_member/3True when Min is the smallest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2.Source
nextto/3True if Y directly follows X in List.Source
nth0/3True when Elem is the Index'th element of List.Source
nth0/4Select/insert element at index.Source
nth1/3Is true when Elem is the Index'th element of List.Source
nth1/4As nth0/4, but counting starts at 1.Source
numlist/3List is a list [Low, Low+1, ... High].Source
permutation/2True when Xs is a permutation of Ys.Source
prefix/2True iff Part is a leading substring of Whole.Source
proper_length/2True when Length is the number of elements in the proper list List.Source
reverse/2Is true when the elements of List2 are in reverse order compared to List1.Source
same_length/2Is true when List1 and List2 are lists with the same number of elements.Source
select/3Is true when List1, with Elem removed, results in List2.Source
select/4Select from two lists at the same position.Source
selectchk/3Semi-deterministic removal of first element in List that unifies with Elem.Source
selectchk/4Semi-deterministic version of select/4.Source
subset/2True if all elements of SubSet belong to Set as well.Source
subtract/3Delete all elements in Delete from Set.Source
sum_list/2Sum is the result of adding all numbers in List.Source
union/3True if Set3 unifies with the union of the lists Set1 and Set2.Source
main.pl  -- Provide entry point for scriptsShow source
make.pl  -- Reload modified source filesShow source
mallocinfo.pl  -- Memory allocation detailsShow source
md5.pl  -- MD5 hashesShow source
memfile.plShow source
modules.pl  -- Module utility predicatesShow source
current_temporary_module/1True when we are executing in the given temporary module context.Source
in_temporary_module/3Run Goal on temporary loaded sources and discard the module and loaded predicates after completion.Source
mqi.plShow source
mqi_start/0Main entry point for running the Machine Query Interface in "Embedded Mode" and designed to be called from the command line.Source
mqi_start/1Starts a Prolog Machine Query Interface ('MQI') using Options.Source
mqi_stop/1If Server_Thread_ID is a variable, stops all Machine Query Interfaces and associated threads.Source
mqi_version/2Provides the major and minor version number of the protocol used by the MQI.Source
nb_rbtrees.pl  -- Non-backtrackable operations on red black treesShow source
nb_set.pl  -- Non-backtrackable setsShow source
add_nb_set/2Insert Key into the set.Source
add_nb_set/3Insert Key into the set.Source
empty_nb_set/1Create an empty non-backtrackable set.Source
gen_nb_set/2Enumerate the members of a set in the standard order of terms.Source
nb_set_to_list/2Get the elements of a an nb_set.Source
size_nb_set/2Unify Size with the number of elements in the set.Source
obfuscate.pl  -- Code obfuscatingShow source
occurs.pl  -- Finding and counting sub-termsShow source
contains_term/2Succeeds if Sub is contained in Term (=, deterministically).Source
contains_var/2Succeeds if Sub is contained in Term (==, deterministically).Source
free_of_term/2Succeeds of Sub does not unify to any subterm of Term.Source
free_of_var/2Succeeds of Sub is not equal (==) to any subterm of Term.Source
occurrences_of_term/3Count the number of SubTerms in Term.Source
occurrences_of_var/3Count the number of SubTerms in Term.Source
sub_term/2Generates (on backtracking) all subterms of Term.Source
sub_term_shared_variables/3If Sub is a sub term of Term, Vars is bound to the list of variables in Sub that also appear outside Sub in Term.Source
sub_var/2Generates (on backtracking) all subterms (==) of Term.Source
odbc.plShow source
odbc_current_connection/2True if Conn is an open ODBC connection to DSN.Source
odbc_current_table/2Enumerate the existing tables.Source
odbc_data_source/2Enumerate the available data-sources.Source
odbc_driver_connect/3Connects to a database using SQLDriverConnect().Source
odbc_query/2Execute SQL-statement that does not produce a result.Source
odbc_query/3Run query without options.Source
odbc_table_column/3True if Column appears in Table on Connection.Source
odbc_table_column/4Source
odbc_table_foreign_key/5Enumerate foreign keys columns.Source
odbc_table_primary_key/3Enumerate columns in primary key for table.Source
odbc_type/3Source
operators.pl  -- Manage operatorsShow source
pop_operators/0Revert all changes to the operator table realised since the last push_operators/1.Source
pop_operators/1Reset operators as pushed by push_operators/2.Source
push_op/3As op/3, but this call must appear between push_operators/1 and pop_operators/0.Source
push_operators/1Installs the operators from New, where New is a list of op(Prec, Type, :Name).Source
push_operators/2Installs the operators from New, where New is a list of op(Prec, Type, :Name).Source
option.pl  -- Option list processingShow source
optparse.pl  -- command line parsingShow source
opt_arguments/3Extract commandline options according to a specification.Source
opt_help/2True when Help is a help string synthesized from OptsSpec.Source
opt_parse/4Equivalent to opt_parse(OptsSpec, ApplArgs, Opts, PositionalArgs, []).Source
opt_parse/5Parse the arguments Args (as list of atoms) according to OptsSpec.Source
parse_type/3Hook to parse option text Codes to an object of type Type.Source
ordsets.pl  -- Ordered set manipulationShow source
is_ordset/1True if Term is an ordered set.Source
list_to_ord_set/2Transform a list into an ordered set.Source
ord_add_element/3Insert an element into the set.Source
ord_del_element/3Delete an element from an ordered set.Source
ord_disjoint/2True if Set1 and Set2 have no common elements.Source
ord_empty/1True when List is the empty ordered set.Source
ord_intersect/2True if both ordered sets have a non-empty intersection.Source
ord_intersect/3Intersection holds the common elements of Set1 and Set2.Source
ord_intersection/2Intersection of a powerset.Source
ord_intersection/3Intersection holds the common elements of Set1 and Set2.Source
ord_intersection/4Intersection and difference between two ordered sets.Source
ord_memberchk/2True if Element is a member of OrdSet, compared using ==.Source
ord_selectchk/3Selectchk/3, specialised for ordered sets.Source
ord_seteq/2True if Set1 and Set2 have the same elements.Source
ord_subset/2Is true if all elements of Sub are in Super.Source
ord_subtract/3Diff is the set holding all elements of InOSet that are not in NotInOSet.Source
ord_symdiff/3Is true when Difference is the symmetric difference of Set1 and Set2.Source
ord_union/2True if Union is the union of all elements in the superset SetOfSets.Source
ord_union/3Union is the union of Set1 and Set2.Source
ord_union/4True iff ord_union(Set1, Set2, Union) and ord_subtract(Set2, Set1, New).Source
oset.pl  -- Ordered set manipulationShow source
oset_addel/3Ordered set element addition.Source
oset_delel/3Ordered set element deletion.Source
oset_diff/3Ordered set difference.Source
oset_dint/2Distributed intersection.Source
oset_dunion/2Distributed union.Source
oset_int/3ordered set intersection.Source
oset_is/1check that OSet in correct format (standard order).Source
oset_power/2True when PSet is the powerset of Set.Source
oset_union/3Union is the union of OSet1 and OSet2.Source
pairs.pl  -- Operations on key-value listsShow source
group_pairs_by_key/2Group values with equivalent (==/2) consecutive keys.Source
map_list_to_pairs/3Create a Key-Value list by mapping each element of List.Source
pairs_keys/2Remove the values from a list of Key-Value pairs.Source
pairs_keys_values/3True if Keys holds the keys of Pairs and Values the values.Source
pairs_values/2Remove the keys from a list of Key-Value pairs.Source
transpose_pairs/2Swap Key-Value to Value-Key.Source
paxos.pl  -- A Replicated Data StoreShow source
pcre.pl  -- Perl compatible regular expression matching for SWI-PrologShow source
re_compile/3Compiles Pattern to a Regex blob of type regex (see blob/2).Source
re_config/1Extract configuration information from the pcre library.Source
re_flush/0Clean pattern and replacement caches.Source
re_foldl/6Fold all matches of Regex on String.Source
re_match/2Succeeds if String matches Regex.Source
re_match/3Succeeds if String matches Regex.Source
re_matchsub/3Match String against Regex.Source
re_matchsub/4Match String against Regex.Source
re_replace/4Replace matches of the regular expression Pattern in String with With (possibly containing references to captured substrings).Source
re_replace/5Replace matches of the regular expression Pattern in String with With (possibly containing references to captured substrings).Source
re_split/3Split String using the regular expression Pattern.Source
re_split/4Split String using the regular expression Pattern.Source
pdt_console.plShow source
pdt_install_console/0Support get_single_char/1 in PDT console.Source
pengines.pl  -- Pengines: Web Logic Programming Made EasyShow source
pengines_io.pl  -- Provide Prolog I/O for HTML clientsShow source
pengines_sandbox.pl  -- Declare Pengine interaction sandbox-safeShow source
safe_meta/2Declare the pengine meta-predicates as safe.Source
safe_primitive/1Declare the core pengine operations as safe.Source
persistency.pl  -- Provide persistent dynamic predicatesShow source
current_persistent_predicate/1True if PI is a predicate that provides access to the persistent database DB.Source
db_assert/1Assert Term into the database and record it for persistency.Source
db_attach/2Use File as persistent database for the calling module.Source
db_attached/1True if the context module attached to the persistent database File.Source
db_detach/0Detach persistency from the calling module and delete all persistent clauses from the Prolog database.Source
db_retract/1Retract terms from the database one-by-one.Source
db_retractall/1Retract all matching facts and do the same in the database.Source
db_sync/1Synchronise database with the associated file.Source
db_sync_all/1Sync all registered databases.Source
persistent/1Declare dynamic database terms.Source
pio.pl  -- Pure I/OShow source
pldoc.pl  -- Process source documentationShow source
plunit.pl  -- Unit TestingShow source
begin_tests/1Start a test-unit.Source
begin_tests/2Start a test-unit.Source
current_test/5True when a test with the specified properties is loaded.Source
end_tests/1Close a unit-test module.Source
load_test_files/1Load .plt test-files related to loaded source-files.Source
run_tests/0Run tests and report about the results.Source
run_tests/1Run tests and report about the results.Source
running_tests/0Print the currently running test.Source
set_test_options/1Specifies how to deal with test suites.Source
test_report/1Produce reports on test results after the run.Source
message_hook/3Redefine printing some messages.Source
porter_stem.plShow source
portray_text.pl  -- Portray textShow source
pprint.pl  -- Pretty Print Prolog termsShow source
print_term/2Pretty print a Prolog term.Source
predicate_options.pl  -- Access and analyse predicate optionsShow source
process.pl  -- Create processes and redirect I/OShow source
prolog_autoload.pl  -- Autoload all dependenciesShow source
autoload_all/0Force all necessary autoloading to be done now.Source
autoload_all/1Force all necessary autoloading to be done now.Source
prolog_breakpoints.pl  -- Manage Prolog break-pointsShow source
prolog_clause.pl  -- Get detailed source-information about a clauseShow source
prolog_code.pl  -- Utilities for reasoning about codeShow source
prolog_codewalk.pl  -- Prolog code walkerShow source
prolog_program_clause/2True when ClauseRef is a reference for clause in the program.Source
prolog_walk_code/1Walk over all loaded (user) Prolog code.Source
subterm_pos/5True when SubTerm is a sub term of Term, compared using Cmp, TermPosition describes the term layout of Term and SubTermPos describes the term layout of SubTerm.Source
prolog_colour.pl  -- Prolog syntax colouring support.Show source
prolog_config.pl  -- Provide configuration informationShow source
prolog_debug.pl  -- User level debugging toolsShow source
debug_control_hook/1Allow user-hooks in the Prolog debugger interaction.Source
debugging/0Report current status of the debugger.Source
exception_hook/4Trap exceptions and consider whether or not to start the tracer.Source
nospy/1Set/clear spy-points.Source
nospyall/0Set/clear spy-points.Source
notrap/1Install a trap on error(Formal, Context) exceptions that unify.Source
spy/1Set/clear spy-points.Source
trap/1Install a trap on error(Formal, Context) exceptions that unify.Source
prolog_deps.pl  -- Compute file dependenciesShow source
prolog_format.pl  -- Analyse format specificationsShow source
prolog_history.pl  -- Per-directory persistent commandline historyShow source
prolog_history/1Execute Action on the history.Source
prolog_install.pl  -- Installation support predicatesShow source
prolog_jiti.pl  -- Just In Time Indexing (JITI) utilitiesShow source
jiti_list/0List the JITI (Just In Time Indexes) of selected predicates.Source
jiti_list/1List the JITI (Just In Time Indexes) of selected predicates.Source
prolog_metainference.pl  -- Infer meta-predicate propertiesShow source
prolog_pack.pl  -- A package manager for PrologShow source
prolog_server.plShow source
prolog_source.pl  -- Examine Prolog source-filesShow source
prolog_stack.pl  -- Examine the Prolog stackShow source
prolog_stream.pl  -- A stream with Prolog callbacksShow source
prolog_trace.pl  -- Print access to predicatesShow source
notraceall/0Remove all trace points.Source
trace/1Print passes through ports of specified predicates.Source
trace/2Print passes through ports of specified predicates.Source
tracing/2True if Spec is traced using Ports.Source
prolog_versions.pl  -- Demand specific Prolog versionsShow source
prolog_wrap.pl  -- Wrapping predicatesShow source
prolog_xref.pl  -- Prolog cross-referencer data collectionShow source
protobufs.pl  -- Google's Protocol Buffers ("protobufs")Show source
protobuf_field_is_map/2Succeeds if MessageType's FieldName is defined as a map<...> in the .proto file.Source
protobuf_map_pairs/3Convert between a list of protobuf map entries (in the form DictTag{key:Key, value:Value} and a key-value list as described in library(pairs).Source
protobuf_message/2Marshals and unmarshals byte streams encoded using Google's Protobuf grammars.Source
protobuf_message/3Marshals and unmarshals byte streams encoded using Google's Protobuf grammars.Source
protobuf_parse_from_codes/3Process bytes (list of int) that is the serialized form of a message (designated by MessageType), creating a Prolog term.Source
protobuf_serialize_to_codes/3Process a Prolog term into bytes (list of int) that is the serialized form of a message (designated by MessageType).Source
pure_input.pl  -- Pure Input from files and streamsShow source
pwp.pl  -- Prolog Well-formed PagesShow source
qpforeign.pl  -- Quintus compatible foreign loaderShow source
qsave.pl  -- Save current program as a state or executableShow source
quasi_quotations.pl  -- Define Quasi Quotation syntaxShow source
quintus.pl  -- Quintus compatibilityShow source
random.pl  -- Random numbersShow source
getrand/1Query/set the state of the random generator.Source
maybe/0Succeed/fail with equal probability (variant of maybe/1).Source
maybe/1Succeed with probability P, fail with probability 1-P.Source
maybe/2Succeed with probability K/N (variant of maybe/1).Source
random/1Binds R to a new random float in the open interval (0.0,1.0).Source
random/3Generate a random integer or float in a range.Source
random_between/3Binds R to a random integer in [L,U] (i.e., including both L and U).Source
random_member/2X is a random member of List.Source
random_numlist/4Unify List with an ascending list of integers between L and U (inclusive).Source
random_perm2/4Does X=A,Y=B or X=B,Y=A with equal probability.Source
random_permutation/2Permutation is a random permutation of List.Source
random_select/3Randomly select or insert an element.Source
random_subseq/3Selects a random subsequence Subseq of List, with Complement containing all elements of List that were not selected.Source
randseq/3S is a list of K unique random integers in the range 1..N.Source
randset/3S is a sorted list of K unique random integers in the range 1..N.Source
setrand/1Query/set the state of the random generator.Source
rbtrees.pl  -- Red black treesShow source
rdf.pl  -- RDF/XML parserShow source
load_rdf/2Parse an XML file holding an RDF term into a list of RDF triples.Source
load_rdf/3Parse an XML file holding an RDF term into a list of RDF triples.Source
process_rdf/3Process RDF from Input.Source
xml_to_rdf/3Source
rdf_parser.plShow source
rdf_triple.pl  -- Create triples from intermediate representationShow source
anon_prefix/1If defined, it is the prefix used to generate a blank node.Source
rdf_end_file/1Cleanup reaching the end of an RDF file.Source
rdf_reset_ids/0Utility predicate to reset the gensym counters for the various generated identifiers.Source
rdf_start_file/2Initialise for the translation of a file.Source
rdf_triples/2Convert an object as parsed by rdf.pl into a list of rdf/3 triples.Source
rdf_triples/3Convert an object as parsed by rdf.pl into a list of rdf/3 triples.Source
rdf_write.pl  -- Write RDF/XML from a list of triplesShow source
rdf_write_xml/2Write an RDF/XML serialization of Triples to Out.Source
readline.pl  -- GNU readline interfaceShow source
rl_add_history/1Add a line to the history.
rl_read_history/1Read a saved history from File.
rl_read_init_file/1Read a GNU readline config file.
rl_write_history/1Save the history to File.
readln.pl  -- Read line as list of tokensShow source
readutil.pl  -- Read utilitiesShow source
record.pl  -- Access compound arguments by nameShow source
current_record/2True if Name is the name of a record defined in the module associated with Term and Term is the user-provided record declaration.Source
current_record_predicate/2True if PI is the predicate indicator for an access predicate to Record.Source
record/1Define access predicates for a compound-term.Source
redis.pl  -- Redis clientShow source
redis_streams.pl  -- Using Redis streamsShow source
xadd/4Add a message to a the stream Key on Redis.Source
xconsumer_stop/1May be called from a consumer listener to stop the consumer.Source
xhook/2This multifile predicate is called on certain stream events.Source
xlisten/3Listen using XREAD on one or more Streams on the server Redis.Source
xlisten_group/5Listen as Consumer to Group.Source
xstream_set/3Set an option on for Key on Redis.Source
rewrite_term.plShow source
rlimit.plShow source
sandbox.pl  -- Sandboxed Prolog codeShow source
settings.pl  -- Setting managementShow source
sgml.pl  -- SGML, XML and HTML parserShow source
sgml_write.pl  -- XML/SGML writer moduleShow source
sha.pl  -- SHA secure hashesShow source
file_sha1/2True when SHA1 is the SHA1 hash for the content of File.Source
hash_atom/2Convert a list of bytes (integers 0..255) into the usual hexadecimal notation.Source
hmac_sha/4For Options, see sha_hash/3.Source
sha_hash/3Hash is the SHA hash of Data, The conversion is controlled by Options:.Source
sha_hash_ctx/4Hash is the SHA hash of Data.Source
sha_new_ctx/2NewContext is unified with the empty SHA computation context (which includes the Options.) It could later be passed to sha_hash_ctx/4.Source
shell.pl  -- Elementary shell commandsShow source
shlib.pl  -- Utility library for loading foreign objects (DLLs, shared objects)Show source
snowball.pl  -- The Snowball multi-lingual stemmer libraryShow source
socket.pl  -- Network socket (TCP and UDP) libraryShow source
solution_sequences.pl  -- Modify solution sequencesShow source
call_nth/2True when Goal succeeded for the Nth time.Source
distinct/1True if Goal is true and no previous solution of Goal bound Witness to the same value.Source
distinct/2True if Goal is true and no previous solution of Goal bound Witness to the same value.Source
group_by/4Group bindings of Template that have the same value for By.Source
limit/2Limit the number of solutions.Source
offset/2Ignore the first Count solutions.Source
order_by/2Order solutions according to Spec.Source
reduced/1Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory.Source
reduced/3Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory.Source
sort.plShow source
locale_sort/2Sort a list of atoms using the current locale.Source
predsort/3Sorts similar to sort/2, but determines the order of two terms by calling Compare(-Delta, +E1, +E2).Source
ssl.pl  -- Secure Socket Layer (SSL) libraryShow source
statistics.pl  -- Get information about resource usageShow source
stomp.pl  -- STOMP client.Show source
stomp_abort/2Send a ABORT frame.Source
stomp_ack/2Reply with an ACK or NACK based on the received message header.Source
stomp_ack/3Send an ACK frame.Source
stomp_begin/2Send a BEGIN frame.Source
stomp_commit/2Send a COMMIT frame.Source
stomp_connect/1Setup the connection.Source
stomp_connect/2Setup the connection.Source
stomp_connection/5Create a connection reference.Source
stomp_connection/6Create a connection reference.Source
stomp_connection_property/2True when Property, is a property of Connection.Source
stomp_destroy_connection/1Destroy a connection.Source
stomp_disconnect/2Send a DISCONNECT frame.Source
stomp_nack/2Reply with an ACK or NACK based on the received message header.Source
stomp_nack/3Send a NACK frame.Source
stomp_reconnect/1Teardown the connection and try to reconnect.Source
stomp_send/4Send a SEND frame.Source
stomp_send_json/4Send a SEND frame.Source
stomp_setup/2Set up the actual socket connection and start receiving thread.Source
stomp_subscribe/4Send a SUBSCRIBE frame.Source
stomp_teardown/1Tear down the socket connection, stop receiving thread and heartbeat thread (if applicable).Source
stomp_transaction/2Run Goal as once/1, tagging all SEND messages inside the transaction with the transaction id.Source
stomp_unsubscribe/2Send an UNSUBSCRIBE frame.Source
streampool.pl  -- Input multiplexingShow source
strings.pl  -- String utilitiesShow source
syslog.pl  -- Unix syslog interfaceShow source
system.pl  -- System utilitiesShow source
table.plShow source
tables.pl  -- XSB interface to tablesShow source
term_to_json.plShow source
term_to_json/2Convert any general Prolog term into a JSON term.Source
term_to_json/3Convert any general Prolog term into a JSON term.Source
terms.pl  -- Term manipulationShow source
foldsubterms/4The predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn, StateOut) for each subterm, including variables, in Term1.Source
foldsubterms/5The predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn, StateOut) for each subterm, including variables, in Term1.Source
mapargs/3Term1 and Term2 have the same functor (name/arity) and for each matching pair of arguments call(Goal, A1, A2) is true.Source
mapsubterms/3Recursively map sub terms of Term1 into subterms of Term2 for every pair for which call(Goal, ST1, ST2) succeeds.Source
mapsubterms_var/3Recursively map sub terms of Term1 into subterms of Term2 for every pair for which call(Goal, ST1, ST2) succeeds.Source
same_functor/2True when Term1 and Term2 are terms that have the same functor (Name/Arity).Source
same_functor/3True when Term1 and Term2 are terms that have the same functor (Name/Arity).Source
same_functor/4True when Term1 and Term2 are terms that have the same functor (Name/Arity).Source
subsumes/2True if Generic is unified to Specific without changing Specific.Source
subsumes_chk/2True if Generic can be made equivalent to Specific without changing Specific.Source
term_factorized/3Is 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.Source
term_size/2True if Size is the size in cells occupied by Term on the global (term) stack.Source
term_subsumer/3General is the most specific term that is a generalisation of Special1 and Special2.Source
variant/2Same as SWI-Prolog Term1 =@= Term2.Source
test_cover.pl  -- Clause coverage analysisShow source
test_wizard.pl  -- Test Generation WizardShow source
make_test/3Generate a test from a query.Source
make_tests/3Create tests from queries stored in File and write the tests for Module to the stream Out.Source
thread.pl  -- High level thread primitivesShow source
call_in_thread/2Run Goal as an interrupt in the context of Thread.Source
concurrent/3Run Goals in parallel using N threads.Source
concurrent_and/2Concurrent version of (Generator,Test).Source
concurrent_and/3Concurrent version of (Generator,Test).Source
concurrent_forall/2True when Action is true for all solutions of Generate.Source
concurrent_forall/3True when Action is true for all solutions of Generate.Source
concurrent_maplist/2Concurrent version of maplist/2.Source
concurrent_maplist/3Concurrent version of maplist/2.Source
concurrent_maplist/4Concurrent version of maplist/2.Source
first_solution/3Try alternative solvers concurrently, returning the first answer.Source
thread_pool.pl  -- Resource bounded thread managementShow source
create_pool/1Hook to create a thread pool lazily.Source
current_thread_pool/1True if Name refers to a defined thread pool.Source
thread_create_in_pool/4Create a thread in Pool.Source
thread_pool_create/3Create a pool of threads.Source
thread_pool_destroy/1Destroy the thread pool named Name.Source
thread_pool_property/2True if Property is a property of thread pool Name.Source
worker_exitted/3It is possible that '__thread_pool_manager' no longer exists while closing down the process because the manager was killed before the worker.Source
threadutil.pl  -- Interactive thread utilitiesShow source
attach_console/0Create a new console and make the standard Prolog streams point to it.Source
attach_console/1Create a new console and make the standard Prolog streams point to it.Source
interactor/0Run a Prolog toplevel in another thread with a new console window.Source
interactor/1Run a Prolog toplevel in another thread with a new console window.Source
join_threads/0Join all terminated threads.Source
tbacktrace/1Print a backtrace for Thread to the stream user_error of the calling thread.Source
tbacktrace/2Print a backtrace for Thread to the stream user_error of the calling thread.Source
tdebug/0Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors.Source
tdebug/1Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors.Source
thread_has_console/0True when the calling thread has an attached console.Source
thread_run_interactor/0Attach a console and run a Prolog toplevel in the current thread.Source
threads/0List currently known threads with their status.Source
tnodebug/0Disable debug-mode in all threads or the specified Thread.Source
tnodebug/1Disable debug-mode in all threads or the specified Thread.Source
tprofile/1Profile the operation of Thread until the user hits a key.Source
tspy/1Trap the graphical debugger on reaching Spec in the specified or any thread.Source
tspy/2Trap the graphical debugger on reaching Spec in the specified or any thread.Source
xterm_args/1Multifile and dynamic hook that provides (additional) arguments for the xterm(1) process opened for additional thread consoles.Source
time.pl  -- Time and alarm libraryShow source
alarm/3Set up an alarm to be signaled Time seconds from now.Source
alarm/4Set up an alarm to be signaled Time seconds from now.Source
alarm_at/3As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time.Source
alarm_at/4As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time.Source
call_with_time_limit/2Call Goal, while watching out for a (wall-time) limit.Source
current_alarm/4Enumerate the alarms in the schedule.Source
install_alarm/1Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1.Source
install_alarm/2Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1.Source
remove_alarm/1Remove an alarm.Source
uninstall_alarm/1De-activate an alarm.Source
tty.pl  -- Terminal operationsShow source
menu/3Show a menu.Source
tty_clear/0Clear the display.Source
tty_flash/0Give visual signal if possible, otherwise beep.Source
udp_broadcast.pl  -- A UDP broadcast proxyShow source
udp_broadcast_close/1Close a UDP broadcast scope.Source
udp_broadcast_initialize/2Initialized UDP broadcast bridge.Source
udp_peer/2Manage and query the set of known peers for a unicast network.Source
udp_peer_add/2Manage and query the set of known peers for a unicast network.Source
udp_peer_del/2Manage and query the set of known peers for a unicast network.Source
udp_term_string_hook/3Hook for serializing the message Term.Source
udp_unicast_join_hook/3This multifile hook is called if an UDP package is received on the port of the unicast network identified by Scope.Source
ugraphs.pl  -- Graph manipulation libraryShow source
uid.pl  -- User and group management on Unix systemsShow source
getegid/1GID is the effective group ID of the calling process.Source
geteuid/1UID is the effective user ID of the calling process.Source
getgid/1GID is the real group ID of the calling process.Source
getgroups/1GroupsIDs is the set of supplementary group IDs of the calling process.Source
getuid/1UID is the real user ID of the calling process.Source
group_data/3Value is the value for Field GroupData.Source
group_info/2GroupData represent the group information for Group.Source
initgroups/2Initialise the group access list of the calling process to the registered groups for User and the group Group.Source
set_user_and_group/1Set the UID and GID to the User.Source
set_user_and_group/2Set the UID and GID to the User.Source
setegid/1Set the effective group id of the calling process.Source
seteuid/1Set the effective user id of the calling process.Source
setgid/1Set the group id of the calling process.Source
setgroups/1Set the group access list of the caling process to the indicated groups.Source
setuid/1Set the user id of the calling process.Source
user_data/3Value is the value for Field in UserData.Source
user_info/2UserData represent the passwd information for User.Source
unicode.pl  -- Unicode string handlingShow source
unicode_map/3Perform unicode normalization operations.Source
unicode_nfc/2Characters are decomposed and then recomposed by canonical equivalence.Source
unicode_nfd/2Characters are decomposed by canonical equivalence.Source
unicode_nfkc/2Characters are decomposed by compatibility equivalence, then recomposed by canonical equivalence.Source
unicode_nfkd/2Characters are decomposed by compatibility equivalence.Source
unicode_property/2True if Property is defined for Char.Source
unix.pl  -- Unix specific operationsShow source
uri.pl  -- Process URIsShow source
url.pl  -- Analysing and constructing URLShow source
utf8.pl  -- UTF-8 encoding/decoding on lists of character codes.Show source
utf8_codes/3DCG translating between a Unicode code-list and its UTF-8 encoded byte-string.Source
uuid.pl  -- Universally Unique Identifier (UUID) LibraryShow source
varnumbers.pl  -- Utilities for numbered termsShow source
vm.pl  -- SWI-Prolog Virtual Machine utilitiesShow source
clause_vm/2True when VM is the virtual machine code of ClauseRef.Source
vm_list/1Lists the definition of the predicates matching Spec to current_output.Source
vmi_labels/2Translated between a raw and a labeled representation for a VMI sequence as produced by clause_vm/2.Source
wfs.pl  -- Well Founded Semantics interfaceShow source
when.pl  -- Conditional coroutiningShow source
win_menu.pl  -- Console window menuShow source
writef.pl  -- Old-style formatted writeShow source
swritef/2Use writef/1 or writef/2 and write the result to a string.Source
swritef/3Use writef/1 or writef/2 and write the result to a string.Source
writef/1Formatted write to the current_output.Source
writef/2Formatted write to the current_output.Source
www_browser.pl  -- Open a URL in the users browserShow source
xmldsig.pl  -- XML Digital signatureShow source
xmld_signed_DOM/3Translate an XML DOM structure in a signed version.Source
xmld_verify_signature/4Confirm that an ds:Signature element contains a valid signature.Source
xmlenc.pl  -- XML encryption libraryShow source
xpath.pl  -- Select nodes in an XML DOMShow source
xpath/3Match an element in a DOM structure.Source
xpath_chk/3Semi-deterministic version of xpath/3.Source
xsdp_types.pl  -- XML-Schema primitive typesShow source
xsdp_convert/3Convert the content model Content to an object of the given XSD type and return the Prolog value in Value.Source
xsdp_numeric_uri/2Table mapping all XML-Schema numeric URIs into the type they promote to.Source
xsdp_subtype_of/2True if Type is a (transitive) subtype of Super.Source
xsdp_type/1Test/generate the names for the XML schema primitive types.Source
xsdp_uri_type/2True if URI is the URI for the the XML-Schema primitive Type.Source
yall.pl  -- Lambda expressionsShow source
yaml.pl  -- Process YAML dataShow source
yaml_read/2Parse Input to a YALM DOM.Source
yaml_write/2Emit a YAML DOM object as a serialized YAML document to the stream Out.Source
yaml_write/3Emit a YAML DOM object as a serialized YAML document to the stream Out.Source
zip.pl  -- Access resource ZIP archivesShow source
zlib.pl  -- Zlib wrapper for SWI-PrologShow source