# SWI-Prolog Search Documentation should support predicates in packs

**URL:** <https://swi-prolog.discourse.group/t/swi-prolog-search-documentation-should-support-predicates-in-packs/5428>\
**Category:** Discussion\
**Tags:** discussion, pldoc\
**Created:** [May 25, 2022, 11:59am UTC](https://swi-prolog.discourse.group/t/swi-prolog-search-documentation-should-support-predicates-in-packs/5428 "2022-05-25T11:59:40Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![chansey97](https://avatars.discourse-cdn.com/v4/letter/c/e480ec/32.png) [@chansey97](https://swi-prolog.discourse.group/u/chansey97)\
**Post date:** [May 25, 2022, 11:59am UTC](https://swi-prolog.discourse.group/t/swi-prolog-search-documentation-should-support-predicates-in-packs/5428/1 "2022-05-25T11:59:40Z")

</div>

Currently, SWI-Prolog Search Documentation does not support any predicates in packs. For example, [reif.pl](https://www.swi-prolog.org/pack/file_details/reif/prolog/reif.pl) has `if_/3`, but you cannot search `if_/3` in SWI-Prolog Search Documentation. This is a bit inconvenient.

IMO, Search Documentation should support any predicates in packs as long as those packs can be install by pack\_install/1. AFAIK many languages do this thing (e.g. Racket website can search any procedures in packages as long as those packages can be installed by `raco pkg install`).