Searching the documentation
There is a shell script in the $CADIZ/mip/bin directory for searching
through all the web pages of documentation about CADi.
It is called crawler and expects a single command-line argument
that is a regular expression, in the style of grep(1),
as in the following example.
crawler "inference rule"
This script runs a web browser, showing a list of the titles of web pages that contain text matching the regular expression. The web browser chosen is that named by the environment variable $WEBBROWSER, default netscape.
Ideally, this web page would offer a form to initiate a search. However, I cannot be sure that your web server will have access to this documentation, and indeed my web server doesn't have access to the master copy of the documentation.