:- use_module(library(debug)).(can be autoloaded)
[search(String)]or a normal option list. Defined options are:
- Only show topics that match String. Match is case insensitive on the printed representation of the term.
- Only print topics that are active (
true) or inactive (
- Only print topics whose target location matches To. This option implicitly restricts the output to active topics.