We have been working for some time on a search engine that allows declarations of the primitive search steps and supports use of different search regimes by means of a small control language. One level of this is intended to give a general search mechanism in terms of a calculus of structural goals and means of achieving search goals using higher-order representations. I speculate on the integration of search and logic declarations within a single framework logic, and how semantic considerations should help this enterprise.