- swipl
- library
- error.pl
- debug.pl -- Print debug messages and test assertions
- apply.pl -- Apply predicates on a list
- lists.pl
- broadcast.pl -- Event service
- shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
- option.pl
- thread_pool.pl -- Resource bounded thread management
- gensym.pl
- settings.pl
- arithmetic.pl
- main.pl
- readutil.pl -- Read utilities
- operators.pl
- pairs.pl
- prolog_source.pl -- Examine Prolog source-files
- quasi_quotations.pl
- url.pl
- www_browser.pl
- prolog_colour.pl
- record.pl
- prolog_xref.pl -- Prolog cross-referencer data collection
- occurs.pl
- ordsets.pl -- Ordered set manipulation
- assoc.pl -- Binary associations
- ugraphs.pl -- Graph manipulation library
- solution_sequences.pl -- Modify solution sequences
- atom.pl
- prolog_pack.pl
- git.pl -- Run GIT commands
- ctypes.pl
- utf8.pl
- base64.pl
- persistency.pl
- pure_input.pl
- 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 -- Lambda expressions
- prolog_code.pl -- Utilities for reasoning about code
- dif.pl -- The dif/2 constraint
- thread.pl -- High level thread primitives
- predicate_options.pl -- Access and analyse predicate options
- rbtrees.pl
- nb_rbtrees.pl
- sandbox.pl
- prolog_format.pl -- Analyse format specifications
- random.pl
- pprint.pl -- Pretty Print Prolog terms
- modules.pl -- Module utility predicates
- lazy_lists.pl
- edinburgh.pl
- prolog_clause.pl
- prolog_breakpoints.pl -- Manage Prolog break-points
- dicts.pl
- heaps.pl
- backcomp.pl -- Backward compatibility
- date.pl
- prolog_profile.pl -- Execution profiler
- listing.pl -- List programs and pretty print clauses
- quintus.pl
- oset.pl
- varnumbers.pl
- tables.pl -- XSB interface to tables
- charsio.pl
- terms.pl -- Term manipulation
- make.pl
- streams.pl
- rwlocks.pl
- threadutil.pl -- Interactive thread utilities
- wfs.pl
- prolog_stack.pl -- Examine the Prolog stack
- check.pl -- Consistency checking
- intercept.pl -- Intercept and signal interface
- prolog_coverage.pl
- prolog_debug.pl -- User level debugging tools
- increval.pl
- help.pl -- Text based manual
- portray_text.pl
- statistics.pl -- Get information about resource usage
- optparse.pl
- ansi_term.pl
- hashtable.pl
- coinduction.pl
- qsave.pl
- zip.pl
- prolog_history.pl
- codesio.pl
- shell.pl -- Elementary shell commands
- when.pl -- Conditional coroutining
- system.pl -- System utilities
- prolog_jiti.pl
- prolog_codewalk.pl -- Prolog code walker
- exceptions.pl -- Exception classification
- base32.pl
- sort.pl
- prolog_versions.pl
- edit.pl
- macros.pl -- Macro expansion
- prolog_autoload.pl
- writef.pl
- strings.pl
- tableutil.pl
- tty.pl
- prolog_config.pl
- explain.pl
- fastrw.pl
- prolog_trace.pl
- files.pl
- prolog_wrap.pl -- Wrapping predicates
- prolog_metainference.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.