search.pl -- SWISH search from the navigation bar
This library supports both typeahead of the search box and the actual search from the server side. What do we want to search for?
- Predicates (built-in, library)
- How should we handle documentation? PlDoc? Manual?
- Source files (name, tags, meta-data, content?)
- Show matching sources in modal dialog and allow switching to these?
- Render a Bootstrap search box.
- typeahead(+Type, +Query, -Match, +Options:dict) is nondet[multifile]
- Find typeahead suggestions for a specific search category
(Type). This oredicate is a multifile predicate, which allows
for adding new search targets. The default implementation
- Searches for built-in and configured library predicates
- Searches all loaded source files.
- match(+Line:string, +Query:string, +Options:dict) is semidet
- True if Line matches Query, respecting Options.