Adding Logic Programming Behaviour to the World Wide Web

Imperative programming has largely dominated both aspects of Web program-ming: adding sophisticated interactive behaviours to the Web and constructing programs which interact with the Web. Most mobile code languages such as Java are based on the imperative programming paradigm. Imperative languages are widely used for building Web browsers and information gathering tools. The focus of much programming language research has been on raising the level of abstraction. Logic programming languages, which view computation as de-duction from a set of axioms, is at a higher level of abstraction than imperative programming languages enabling a problem or subject domain to be modelled without focusing on the computer’s Von Neumann architecture. Logic program-ming with program structuring abstractions has shown its utility in a variety of applications including expert systems, Artificial Intelligence problem solving, and deductive databases. Implementations of logic programming such as Pro-log have features not found in traditional imperative languages including ease o