Logic Programming with the World-Wide Web (1995)
| Venue: | In Proceedings of the 7th ACM Conference on Hypertext |
| Citations: | 21 - 4 self |
BibTeX
@INPROCEEDINGS{Loke95logicprogramming,
author = {Seng Wai Loke and Andrew Davison},
title = {Logic Programming with the World-Wide Web},
booktitle = {In Proceedings of the 7th ACM Conference on Hypertext},
year = {1995},
pages = {235--245},
publisher = {ACM Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. Keywords: World-Wide Web, Structured Logic Programming, Mobile Code, Mosaic, Common Client Interface, Prolog. 1 Introduction The World-Wide Web (WWW), or `The Web', is a distributed network of information that is spr...
Citations
No citations identified.
