- swipl
- library
- error.pl
- debug.pl
- apply.pl -- Apply predicates on a list
- lists.pl
- broadcast.pl -- Event service
- shlib.pl
- option.pl
- thread_pool.pl -- Resource bounded thread management
- gensym.pl -- Generate unique symbols
- settings.pl
- arithmetic.pl -- Extensible arithmetic
- main.pl -- Provide entry point for scripts
- readutil.pl -- Read utilities
- operators.pl -- Manage operators
- pairs.pl
- prolog_source.pl
- quasi_quotations.pl -- Define Quasi Quotation syntax
- url.pl -- Analysing and constructing URL
- www_browser.pl -- Open a URL in the users browser
- prolog_colour.pl -- Prolog syntax colouring support.
- record.pl -- Access compound arguments by name
- prolog_xref.pl -- Prolog cross-referencer data collection
- occurs.pl -- Finding and counting sub-terms
- ordsets.pl -- Ordered set manipulation
- assoc.pl -- Binary associations
- ugraphs.pl
- solution_sequences.pl -- Modify solution sequences
- atom.pl -- Operations on atoms
- prolog_pack.pl -- A package manager for Prolog
- git.pl -- Run GIT commands
- ctypes.pl -- Character code classification
- utf8.pl
- base64.pl -- Base64 encoding and decoding
- persistency.pl -- Provide persistent dynamic predicates
- pure_input.pl -- Pure Input from files and streams
- nb_set.pl
- aggregate.pl
- csv.pl -- Process CSV (Comma-Separated Values) data
- iostream.pl -- Utilities to deal with streams
- dialect.pl
- apply_macros.pl -- Goal expansion rules to avoid meta-calling
- yall.pl
- prolog_code.pl -- Utilities for reasoning about code
- dif.pl -- The dif/2 constraint
- thread.pl -- High level thread primitives
- predicate_options.pl
- rbtrees.pl -- Red black trees
- nb_rbtrees.pl -- Non-backtrackable operations on red black trees
- sandbox.pl
- prolog_format.pl
- random.pl
- pprint.pl -- Pretty Print Prolog terms
- modules.pl -- Module utility predicates
- lazy_lists.pl
- edinburgh.pl -- Some traditional Edinburgh predicates
- prolog_clause.pl
- prolog_breakpoints.pl
- dicts.pl -- Dict utilities
- backcomp.pl -- Backward compatibility
- ansi_term.pl -- Print decorated text to ANSI consoles
- threadutil.pl -- Interactive thread utilities
- base32.pl
- prolog_debug.pl
- make.pl
- check.pl -- Consistency checking
- charsio.pl -- I/O on Lists of Character Codes
- listing.pl -- List programs and pretty print clauses
- prolog_stack.pl -- Examine the Prolog stack
- statistics.pl -- Get information about resource usage
- quintus.pl -- Quintus compatibility
- tableutil.pl
- optparse.pl -- command line parsing
- date.pl
- terms.pl
- increval.pl
- tables.pl
- prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
- prolog_versions.pl -- Demand specific (Prolog) versions
- sort.pl
- codesio.pl
- intercept.pl -- Intercept and signal interface
- prolog_coverage.pl -- Coverage analysis tool
- tty.pl -- Terminal operations
- prolog_codewalk.pl -- Prolog code walker
- edit.pl -- Editor interface
- varnumbers.pl -- Utilities for numbered terms
- explain.pl -- Describe Prolog Terms
- portray_text.pl -- Portray text
- prolog_trace.pl
- prolog_wrap.pl -- Wrapping predicates
- files.pl
- wfs.pl
- coinduction.pl -- Co-Logic Programming
- strings.pl -- String utilities
- heaps.pl -- heaps/priority queues
- prolog_qlfmake.pl -- Compile the library to QLF format
- hashtable.pl -- Hash tables
- help.pl -- Text based manual
- oset.pl -- Ordered set manipulation
- prolog_profile.pl
- shell.pl -- Elementary shell commands
- prolog_config.pl -- Provide configuration information
- macros.pl -- Macro expansion
- writef.pl -- Old-style formatted write
- prolog_autoload.pl -- Autoload all dependencies
- qsave.pl -- Save current program as a state or executable
- zip.pl -- Access resource ZIP archives
- system.pl -- System utilities
- streams.pl -- Manage Prolog streams
- exceptions.pl -- Exception classification
- prolog_metainference.pl -- Infer meta-predicate properties
- fastrw.pl -- Fast reading and writing of terms
- when.pl -- Conditional coroutining
- rwlocks.pl -- Read/write locks
- prolog_history.pl
- library
- apropos(+Query) is det
- apropos(+Query, +Options) is det
- Print objects from the manual whose name or summary match with
Query. Query takes one of the following forms:
- Type:Text
- Find objects matching Text and filter the results by Type.
Type matching is a case intensitive prefix match.
Defined types are
section,cfunction,function,iso_predicate,swi_builtin_predicate,library_predicate,dcgand aliaseschapter,arithmetic,c_function,predicate,nonterminalandnon_terminal. For example:?- apropos(c:close). ?- apropos(f:min).
- Text
- Text is broken into tokens. A topic matches if all tokens appear in the name or summary of the topic. Matching is case insensitive. Results are ordered depending on the quality of the match.
Only the best
limitmatches are shown. Options:- limit(+Count)
- Maximum number of matches to show. Default 20.
- offset(+Skip)
- Ignore the Skip best matches. Default 0.
If the terminal supports hyperlinks (see the Prolog flag
hyperlink_term), the matches are clickable and so is the line that reports there are more matches. In an Epilog window, clicking these runs help/1 on the match or apropos/2 on the next page.