Logic programming with the World-Wide Web

We introduce LogicWeb, an integration of structured logic programming and the World-Wide Web. We show how LogicWeb enables programmable behaviour and state to be incorporated into Web pages, allowing them to be viewed as modules or objects with state. LogicWeb renders a Web page as a live information entity, able to determine its own response to user queries, and modify the behaviour of hyperlinks. This amalgamation of logic and the Web makes it possible to reason with Web pages, state relationships between pages, and dynamically generate pages. A prototype system is described, which extends Mosaic with LogicWeb capabilities using the Common Client Interface. In addition, we outline a client-based search tool written with LogicWeb and compare it with an existing package.