Scroll up for my comment where I show a screen shot of the phpBB search engine... that is over 10 years old I believe. It has all the elements needed, and could probably be implemented in a short period of time in PHP and probably some Ajax if you get a little fancy with it.