2.7.1 library(help): Text based manual
All Application Manual Name SummaryHelp

Availability::- use_module(library(help)).(can be autoloaded)
Source[nondet]help_apropos(+Query, -Obj, -Summary, -Score)
Find matching documented objects in the help database. Obj is the formal object identifier, Summary its summary description and Score is a number indicating the quality of the match.