aggregate.pl -- Aggregation operators on backtrackable predicates![]() | ||
|---|---|---|
ansi_term.pl -- Print decorated text to ANSI consoles![]() | ||
apply.pl -- Apply predicates on a list![]() | ||
apply_macros.pl -- Goal expansion rules to avoid meta-calling![]() | ||
arithmetic.pl -- Extensible arithmetic![]() | ||
assoc.pl -- Binary associations![]() | ||
atom.pl -- Operations on atoms![]() | ||
backcomp.pl -- Backward compatibility![]() | ||
base32.pl -- Base32 encoding and decoding![]() | ||
base64.pl -- Base64 encoding and decoding![]() | ||
broadcast.pl -- Event service![]() | ||
charsio.pl -- I/O on Lists of Character Codes![]() | ||
check.pl -- Consistency checking![]() | ||
codesio.pl -- I/O on Lists of Character Codes![]() | ||
coinduction.pl -- Co-Logic Programming![]() | ||
csv.pl -- Process CSV (Comma-Separated Values) data![]() | ||
date.pl -- Process dates and times![]() | ||
debug.pl -- Print debug messages and test assertions![]() | ||
dialect.pl -- Support multiple Prolog dialects![]() | ||
dicts.pl -- Dict utilities![]() | ||
dif.pl -- The dif/2 constraint![]() | ||
edinburgh.pl -- Some traditional Edinburgh predicates![]() | ||
edit.pl![]() | ||
| edit/0 | Edit associated or script file. | ![]() |
| edit/1 | Edit indicated object. | ![]() |
| edit_command/2 | This predicate should specify the shell-command called to invoke the user's editor. | ![]() |
| locate/2 | Locate object from the specified location. | ![]() |
| locate/3 | ![]() | |
| select_location/3 | ![]() | |
error.pl![]() | ||
gensym.pl -- Generate unique symbols![]() | ||
git.pl -- Run GIT commands![]() | ||
heaps.pl -- heaps/priority queues![]() | ||
help.pl![]() | ||
| apropos/1 | Print objects from the manual whose name or summary match with Query. | ![]() |
| help/0 | Show help for What. | ![]() |
| help/1 | Show help for What. | ![]() |
| help_text/2 | When Predicate is a term of the form Name/Arity for which documentation exists, HelpText is the documentation in textual format (parsed from the HTML help). | ![]() |
| show_html_hook/1 | Hook called to display the extracted HTML document. | ![]() |
iostream.pl -- Utilities to deal with streams![]() | ||
lazy_lists.pl -- Lazy list handling![]() | ||
lists.pl -- List Manipulation![]() | ||
main.pl -- Provide entry point for scripts![]() | ||
make.pl -- Reload modified source files![]() | ||
modules.pl -- Module utility predicates![]() | ||
occurs.pl -- Finding and counting sub-terms![]() | ||
operators.pl -- Manage operators![]() | ||
option.pl -- Option list processing![]() | ||
ordsets.pl -- Ordered set manipulation![]() | ||
pairs.pl -- Operations on key-value lists![]() | ||
persistency.pl -- Provide persistent dynamic predicates![]() | ||
pio.pl -- Pure I/O![]() | ||
pprint.pl -- Pretty Print Prolog terms![]() | ||
predicate_options.pl -- Access and analyse predicate options![]() | ||
prolog_breakpoints.pl![]() | ||
| breakpoint_property/2 | True when Property is a property of the breakpoint Id. | ![]() |
| delete_breakpoint/1 | Delete breakpoint with given Id. | ![]() |
| set_breakpoint/4 | Put a breakpoint at the indicated source-location. | ![]() |
| set_breakpoint/5 | Put a breakpoint at the indicated source-location. | ![]() |
| set_breakpoint_condition/2 | Set a condition for of the breakpoint with given Id. | ![]() |
prolog_clause.pl![]() | ||
prolog_code.pl -- Utilities for reasoning about code![]() | ||
prolog_colour.pl -- Prolog syntax colouring support.![]() | ||
prolog_coverage.pl -- Coverage analysis tool![]() | ||
prolog_debug.pl -- User level debugging tools![]() | ||
prolog_format.pl -- Analyse format specifications![]() | ||
prolog_pack.pl -- A package manager for Prolog![]() | ||
prolog_source.pl -- Examine Prolog source-files![]() | ||
prolog_stack.pl![]() | ||
| backtrace/1 | Get and print a stacktrace to the user_error stream. | ![]() |
| get_prolog_backtrace/2 | Obtain a backtrace from the current location. | ![]() |
| get_prolog_backtrace/3 | Obtain a backtrace from the current location. | ![]() |
| print_last_choicepoint/0 | Print details on the last open choice point. | ![]() |
| print_last_choicepoint/2 | ![]() | |
| print_prolog_backtrace/2 | Print a stacktrace in human readable form to Stream. | ![]() |
| print_prolog_backtrace/3 | Print a stacktrace in human readable form to Stream. | ![]() |
| prolog_stack_frame_property/2 | True when Property is a property of Frame. | ![]() |
| stack_guard/1 | Dynamic multifile hook that is normally not defined. | ![]() |
| stack_guard/1 | Dynamic multifile predicate. | ![]() |
prolog_trace.pl -- Print access to predicates![]() | ||
prolog_versions.pl -- Demand specific (Prolog) versions![]() | ||
prolog_wrap.pl -- Wrapping predicates![]() | ||
prolog_xref.pl -- Prolog cross-referencer data collection![]() | ||
pure_input.pl -- Pure Input from files and streams![]() | ||
quasi_quotations.pl -- Define Quasi Quotation syntax![]() | ||
quintus.pl![]() | ||
| abs/2 | Unify `Absolute' with the absolute value of `Number'. | ![]() |
| acos/2 | Math library predicates. | ![]() |
| asin/2 | Math library predicates. | ![]() |
| atan/2 | Math library predicates. | ![]() |
| atan2/3 | Math library predicates. | ![]() |
| atom_char/2 | Same as ISO char_code/2. | ![]() |
| ceiling/2 | Math library predicates. | ![]() |
| compile/1 | Compile files. | ![]() |
| cos/2 | Math library predicates. | ![]() |
| current_stream/3 | SICStus/Quintus and backward compatible predicate. | ![]() |
| date/1 | Get current date as date(Y,M,D). | ![]() |
| floor/2 | Math library predicates. | ![]() |
| genarg/3 | Generalised version of ISO arg/3. | ![]() |
| log/2 | Math library predicates. | ![]() |
| log10/2 | Math library predicates. | ![]() |
| midstring/3 | Too difficult to explain. | ![]() |
| midstring/4 | Too difficult to explain. | ![]() |
| midstring/5 | Too difficult to explain. | ![]() |
| midstring/6 | Too difficult to explain. | ![]() |
| no_style_check/1 | Same as SWI-Prolog style_check(-Style). | ![]() |
| on_exception/3 | ![]() | |
| otherwise/0 | For (A -> B ; otherwise -> C). | ![]() |
| pow/3 | Math library predicates. | ![]() |
| prolog_flag/2 | Same as ISO current_prolog_flag/2. | ![]() |
| raise_exception/1 | Quintus compatible exception handling. | ![]() |
| round/2 | Math library predicates. | ![]() |
| sign/2 | Math library predicates. | ![]() |
| simple/1 | Term is atomic or a variable. | ![]() |
| sin/2 | Math library predicates. | ![]() |
| skip_line/0 | Skip the rest of the current line (on Stream). | ![]() |
| skip_line/1 | Skip the rest of the current line (on Stream). | ![]() |
| sqrt/2 | Math library predicates. | ![]() |
| stream_position/3 | True when Old is the current position in Stream and the stream has been repositioned to New. | ![]() |
| tan/2 | Math library predicates. | ![]() |
| unix/1 | This predicate provides a partial emulation of the corresponding Quintus predicate. | ![]() |
random.pl -- Random numbers![]() | ||
rbtrees.pl -- Red black trees![]() | ||
readutil.pl -- Read utilities![]() | ||
record.pl -- Access compound arguments by name![]() | ||
sandbox.pl![]() | ||
settings.pl![]() | ||
| convert_setting_text/3 | Converts from textual form to Prolog Value. | ![]() |
| current_setting/1 | True if Setting is a currently defined setting. | ![]() |
| env/2 | Evaluate environment variables on behalf of arithmetic expressions. | ![]() |
| env/3 | Evaluate environment variables on behalf of arithmetic expressions. | ![]() |
| list_settings/0 | List settings to current_output. | ![]() |
| list_settings/1 | List settings to current_output. | ![]() |
| load_settings/1 | Load local settings from File. | ![]() |
| load_settings/2 | Load local settings from File. | ![]() |
| restore_setting/1 | Restore the value of setting Name to its default. | ![]() |
| save_settings/0 | Save modified settings to File. | ![]() |
| save_settings/1 | Save modified settings to File. | ![]() |
| set_setting/2 | Change a setting. | ![]() |
| set_setting_default/2 | Change the default for a setting. | ![]() |
| setting/2 | True when Name is a currently defined setting with Value. | ![]() |
| setting/4 | Define a setting. | ![]() |
| setting_property/2 | Query currently defined settings. | ![]() |
shell.pl -- Elementary shell commands![]() | ||
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)![]() | ||
solution_sequences.pl -- Modify solution sequences![]() | ||
sort.pl![]() | ||
statistics.pl -- Get information about resource usage![]() | ||
system.pl -- System utilities![]() | ||
terms.pl -- Term manipulation![]() | ||
thread_pool.pl -- Resource bounded thread management![]() | ||
ugraphs.pl -- Graph manipulation library![]() | ||
url.pl -- Analysing and constructing URL![]() | ||
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.![]() | ||
varnumbers.pl -- Utilities for numbered terms![]() | ||
wfs.pl -- Well Founded Semantics interface![]() | ||
when.pl -- Conditional coroutining![]() | ||
www_browser.pl -- Open a URL in the users browser![]() | ||
yall.pl -- Lambda expressions![]() | ||