Loke, S.W., Davison, A. (1996). Logic Programming with the World Wide Web. Proc. of the 7th ACM Conf. on Hypertext. http://www.cs.unc.edu/~barman/HT96/P14/lpwww.html  Home/Search   Document Details and Download   Summary   Related Articles   Check

....information search query is dispatched in the form of some keywords or their combination to the large centralized index database. Search systems of this type play the leading role in the Web search field. But at the same time, some shortcomings of these kinds of search systems have been pointed out[2, 3, 4, 7, 8] since the very quickly changing character of information on the Web. For example, the difficulty of keeping the index to be up to date, problem of managing the extremely large and continually increasing index database, etc. Another type of search engine, called on line Web search tool, is also ....

S.W. Loke and A. Davison: "Logic Programming with the World-Wide Web", the Proceedings of the 7th ACM Conference on Hypertext, ACM Press, pp. 235-245, 1996.

....a guaranteed, typed way of dealing with documents. 27 In the logic programming world, there are several toolkits for generating HTML pages. The PiLLoW toolkit [5] allows for easy creation of documents including CGI functionality. It is widely used to connect logic programs to the WWW. LogicWeb [16] o ers an even tighter integration which includes client side scripting. None of these o ers advanced typing features. The DynDoc facility by Sandholm and Schwartzbach [26] has similar goals as the present paper. They de ne a language and a type system for dynamically composable documents from ....

Seng Wai Loke and Andrew Davison. Logic programming with the World-Wide Web. In Proceedings of the 7th ACM Conference on Hypertext (Hypertext '96), pages 235-245, Washington DC, USA, March 1996.

....explanation on the Common Gateway Interface. Any programming language which can read environment variables and which provides executable code (like C, C or Java) can be used as a CGI application. Prolog, being a high level symbolic language, is an excellent tool for programming WWW applications [1, 2, 12], but some implementations do not allow the creation of executable code. Furthermore, in the standard Prolog de nition [10] there is no way to refer directly to environment variables. That is why, if we want to use Prolog as a programming language for WWW applications, we have to provide an ....

S. W. Loke and A. Davison. Logic Programming with the World-Wide Web. In Proc. Hypertext'96, pages 235-245, Washington, DC, 1996. ACM.

....explanation on the Common Gateway Interface. Any programming language which can read environment variables and which provides executable code (like C, C or Java) can be used as a CGI application. Prolog, being a high level symbolic language, is an excellent tool for programming WWW applications [1, 2, 11], but some implementations do not allow the creation of executable code. Furthermore, in the standard Prolog definition [9] there is no way to refer directly to environment variables. That is why, if we want to use Prolog as a programming language for WWW applications, we have to provide an ....

S. W. Loke and A. Davison. Logic Programming with the World-Wide Web. In Proc. Hypertext'96, pages 235--245, Washington, DC, 1996. ACM.

....while enjoying strongly typed XML at the same time. In the logic programming world, there are several toolkits for generating HTML pages. The PiLLoW toolkit [3] allows for easy creation of documents including CGI functionality. It is widely used to connect logic programs to the WWW. LogicWeb [14] o ers an even tighter integration which includes clientside scripting. 7 Conclusion We have designed and implemented a convenient embedded domain speci c language for meta programming of web pages and web sites in Haskell. Haskell s type classes and facilities to program with partially abstract ....

Seng Wai Loke and Andrew Davison. Logic programming with the World-Wide Web. pages 235-245, Washington DC, USA, mar 1996.

....on the interaction metaphor and or visualization without a principled approach to the underlying coordination logic. A growing number of sophisticated Web based applications and tools are on the way to be implemented in LP CLP languages. Among them, work with a similar emphasis on can be found in [6, 19, 7, 4, 21, 18, 28]. Among the most promising recent developments Luca Cardelli s Oblique project at Digital and mobile agent applications [2, 8] Distributed OZ [29, 30] and IBM Japan s aglets [15] We share their emphasis on going beyond code mobility as present in Java, for instance, towards control mobility. We ....

S. W. Loke and A. Davison. Logic programming with the world-wide web. In Proceedings of the 7th ACM Conference on Hypertext, pages 235--245. ACM Press, 1996.

.... predicates, clauses, and perhaps below) In any case it is useful, analogously to an SQL database schema, to declare the signatures of n ary predicates in order to establish the 4 Unlike in the more often studied administration of arbitrary Web pages through (extra )logic programs (e.g. 6] [11]) Web extensions for (Horn )logic programs with arbitrary implementation languages are considered here. Both LP WWW connections could in principle be examined simultaneously. meaning of the n arguments. The sorts usable here can themselves be defined as unary predicates in sort lattices (e.g. ....

S. W. Loke and A. Davison. Logic Programming with the World-Wide Web. In: Proc. of the 7th ACM Conference on Hypertext -- Hypertext'96, ACM Press, 1996.

....this is supported by most current LP CLP systems, using a similar approach. 12 Related Work Previous general purpose work on WWW programming using computational logic systems includes, to the best of our knowledge, the publicly available html.pl library [5] and manual, and the LogicWeb system [22]. The html.pl library was built by D. Cabeza and M. Hermenegildo, using input from L. Naish s forms code for NU Prolog and M. Hermenegildo and F. Bueno s experiments building a WWW interface to the CHAT 80 [27] program. It was released as a publicly available WWW library for LP CLP systems and ....

....of forms and an alternative to our use of active modules [3] The present work is essentially a significant extension of the html.pl library. The main other previous body of work related to general purpose interfacing of logic programming and the WWW that we have knowledge of is the LogicWeb [22] system, by S.W. Loke and A. Davison. The aim of LogicWeb is to use logic programming to extend the concept of WWW pages, incorporating in them programmable behaviour and state. In this, it shares goals with Java. It also offers rich primitives for accessing code in remote pages and module ....

S.W. Loke and A. Davison. Logic programming with the World-Wide Web. In 7th. ACM Conference on Hypertext, pages 235--245. ACM Press, March 1996. Available from http://www.cs.unc.edu/~barman/HT96/P14/lpwww.html.

....of the client server model. Our present work fits within this category. We are not aware of other systems using logic programming for virtual world simulation, although a large number of sophisticated Web based applications and tools have been implemented in LP CLP languages, for instance [5, 21, 6, 4, 31, 20]. The closest application with a clear virtual world flavor is the Ubique Doors (tm) server [28] which shows (Flat Concurrent) Prolog lists in log files although we do not know exactly how closely it is based on LP technology. This server, combined with the Sesame (tm) client emulates co presence ....

S. W. Loke and A. Davison. Logic programming with the world-wide web. In Proceedings of the 7th ACM Conference on Hypertext, pages 235--245. ACM Press, 1996.

....many Logic Programming researchers to Internet applications. A group of researchers led by M. Hermenegido have developed the PiLLow CIAO library for Internet WWW programming using logic programming systems [3] LogicWeb is another well developed system for combining logic programming and the WWW [4]. The PiLLow CIAO library is browser independent, while the LogicWeb system has imposed some Mosaic browseroriented features. Our work is quite close to PiLLow CIAO. But there are the following major differences: ffl With our library, programmers do not need to take care of too many low level HTML ....

S. W. Loke and A. Davison. Logic Programming with the World-Wide Web. In 7th ACM Conference on Hypertext, pages 235--245, March 1996.

....the latter are uniformely called links . As indicated in the Introduction, abductive solutions to a search query are tuples of an address, a list of) keywords, and typically (a list of) links. This conception of web pages is sufficient for our present purposes; it is similar to LogicWeb modules [16] (but do not contain Prolog code) A naive searching softbot will start with the retrieval of all web pages that are found by available search engines and then follow all hyperlinks (references to other web pages) of each retrieved page. This agent will meet at least two obstacles: the first is a ....

....constraints amounts to showing that a certain word or phrase is or is not an element of the list argument of the key words predicate. We are currently looking for a paradigm to integrate the searching agent with the worldwide web. One candidate is the LogicWeb approach of Loke and Davison [16]. Moreover, Cabeza et al. 4] describe a rich internet www programming library for (constraint) logic programming systems, called PiLLoW, that can be used for various web related tasks. We have to concede that our searching agent is a rather theoretical entity, as is stands. 6 Discussion and ....

S.W. Loke and A. Davison. Logic programming with the world-wide web. In Proceedings of the 7th ACM Conference on Hypertext (available at http://www.cs.unc.edu/barman/HT96/P14/lpwww.html), pages 235--245, 1996.

....this is supported by most current LP CLP systems, using a similar approach. 12 Related Work Previous general purpose work on WWW programming using computational logic systems includes, to the best of our knowledge, the publicly available html.pl library [5] and manual, and the LogicWeb system [23] (the PiLLoWwas described previously in [7] The html.pl library was built by D. Cabeza and M. Hermenegildo, using input from L. Naish s forms code for NU Prolog and M. Hermenegildo and F. Bueno s experiments building a WWW interface to the CHAT 80 [31] program. It was released as a publicly ....

....of forms and an alternative to our use of active modules [3] The present work is essentially a significant extension of the html.pl library. The main other previous body of work related to general purpose interfacing of logic programming and the WWW that we have knowledge of is the LogicWeb [23] system, by S.W. Loke and A. Davison. The aim of LogicWeb is to use logic programming to extend the concept of WWW pages, incorporating in them programmable behaviour and state. In this, it shares goals with Java. It also offers rich primitives for accessing code in remote pages and module ....

S.W. Loke and A. Davison. Logic programming with the World-Wide Web. In 7th. ACM Conference on Hypertext, pages 235--245. ACM Press, March 1996. Available from http://www.cs.unc.edu/~barman/HT96/P14/lpwww.html.

....This reduces server load, and permits state information, such as the results of previous queries, to be kept in the client side process or files. We also utilise client side caching, which means that once the databases are loaded, they need not be fetched again. We base this work on LogicWeb [17], an integration of logic programming and the Web, which treats Web pages as logic programming modules. Meta level rules on how LogicWeb modules can be accessed and combined are written as logic programs. In the rest of the paper, we illustrate the above ideas, by considering lightweight ....

....x6 concludes. 2 Lightweight Deductive Databases LogicWeb provides the framework for lightweight deductive databases. Below, we outline LogicWeb, and describe a lightweight deductive database of citations. 2. 1 LogicWeb LogicWeb treats Web pages as logic program modules, termed LogicWeb modules [17]. Ordinary Web pages can be parsed to extract facts, such as a collection of links used in the page. This provides an additional layer of abstraction beyond the text of a page. More importantly, a LogicWeb module can contain a logic program written in Prolog with some extensions. Among the extra ....

S.W. Loke and A. Davison. Logic Programming with the World-Wide Web. In Proceedings of the 7th ACM Conference on Hypertext (available at http://www.cs.unc.edu/¸barman/HT96/P14/lpwww.html)., pages 235 -- 245. ACM Press, March 1996.

....aims of our work. The first is to utilise Logic Programming (LP) as a way of viewing the Web more abstractly than just as pages connected by hypertext links. Our LogicWeb system allows the Web to be manipulated as a collection of LP modules, which can be interrelated using familiar LP techniques [Loke and Davison 1996]. This view is not simply a pleasing abstraction, but is essential as a framework for writing Web programs that manipulate structured information or carry out meta level reasoning. The second aim is to investigate the use of LP as a client side programming tool for the Web. The client side ....

....implementation of LogicWeb is outlined in section 5. Other approaches to using LP with the Web are described in section 6. Section 7 contains a summary of the main points of this work, and some possible directions for future research. The material presented here is an expansion of work reported in [Loke and Davison 1996; Loke et al. 1996a; Loke et al. 1996b] These papers can be found at http: www.cs.mu.oz.au swloke logicweb.html. 2 What is LogicWeb 2.1 LogicWeb Overview A simple view of the Web is as a collection of pages connected by hypertext links. A fragment might look like Figure 1. We shall make the ....

[Article contains additional citation context not shown here]

Loke, S.W. and Davison, A. 1996. "Logic Programming with the World-Wide Web", In Proc. of the 7th. ACM Conf. on Hypertext, ACM Press, March, pp.235-245.

....agent (CiFi) and a multi agent system (dMARS CiFi) to perform the task of finding Computer Science citations. Both systems employ a conceptual graph of Web pages and heuristic knowledge of likely locations of citations. The rule based agent uses Prolog and an interface to the Web called LogicWeb [11, 10] to represent heuristics for guiding Web searching. This agent extends the work described in [12] The multi agent system constructs several agents on the basis of the conceptual graph, and allows these agents to search different types of pages in parallel using an event driven approach. This ....

....because it is difficult to determine which address to use. For instance, a query to Ahoy may return the email addresses of several people with the same name. Implementation. CiFi is implemented in Prolog 10 , extended with abstractions to conveniently access the contents of Web pages. LogicWeb [11, 10] provides the abstraction by treating Web pages as logic program modules. This treatment of pages allows the pages contents to be retrieved as Prolog facts. For instance, the information about links on a page are stored as facts in a module, enabling the link information to be examined using ....

S.W. Loke and A. Davison. Logic programming with the world-wide web. In Proceedings of the 7th. ACM Conference on Hypertext, pages 235 -- 245. ACM Press, March 1996.

....technical publications. ffl To investigate the use of logic programming rules for building an information retrieval agent which navigates over the Web guided by heuristics. To express the rules, we utilise the treatment of a Web page as a logic program module called LogicWeb, as introduced in [11]. A LogicWeb page or module is a Web page which has rules and facts. In the rest of the paper, we first determine the effectiveness of Lycos and Alta Vista for finding citations by attempting a set of queries. Then, we describe a rule based agent called CiFi which utilises the Lycos search engine, ....

....relate to the selection of links during browsing, which rely on the type of the page. In presenting the rules, we will assume the reader is acquainted with Prolog. Accessing the Web from Prolog. In formulating the rules, Web pages are treated as logic program modules termed as LogicWeb pages [11]. Besides its HTML source, a LogicWeb page can have link 2 facts representing out links from the page, generated by parsing the page. A LogicWeb module can utilise the rules and facts of another by an operator similar to objectoriented message passing, denoted as # . For example, the evaluation of ....

[Article contains additional citation context not shown here]

S.W. Loke and A. Davison. Logic Programming with the World-Wide Web. http://www.cs.mu.oz.au/¸swloke/papers/paper1.ps.gz. To appear in Proceedings of the 7th. ACM Conference on Hypertext (Hypertext '96). ACM Press, 1996.

....the expressiveness of the links. The layer can take many forms, such as a semantic network, concept hierarchy, or simply procedures to compute destination pages. The two level model is implemented using the LogicWeb system which views Web pages as logic programs which we call LogicWeb programs [8, 6]. We explore the use of logic programming for coding the link abstraction layer, exploiting its ability to represent declarative structures in a concise and readable manner, and its nondeterminism. In x2, we describe LogicWeb, and in x3, the two level model. x4 illustrates the expressiveness of ....

....and some meta level information, such as its last modification date. Pages can also contain additional LogicWeb code. The LogicWeb system stands between the user and the Web as shown in Figure 1. A prototype LogicWeb system has been implemented using the NCSA XMosaic Browser, C, and Prolog [8, 6], and was used as a testbed for the examples in this paper. When a Web page is retrieved, it is displayed by the browser as normally. However, LogicWeb also translates all retrieved pages into programs. The basic transformation generates two facts for each Web page: myid( URL ) htext( Page ....

S.W. Loke and A. Davison. Logic Programming with the World-Wide Web. In Proceedings of the 7th ACM Conference on Hypertext, Washington D.C., USA. (available at http://www.cs.unc.edu/¸barman/HT96/P14/lpwww.html)., pages 235 -- 245. ACM Press, March 1996.

No context found.

Loke, S.W., Davison, A. (1996). Logic Programming with the World Wide Web. Proc. of the 7th ACM Conf. on Hypertext. http://www.cs.unc.edu/~barman/HT96/P14/lpwww.html

No context found.

S.W. Loke and A. Davison. Logic programming with the World-Wide Web. In 7th. ACM Conference on Hypertext, pages 235-245. ACM Press, March 1996. Available from http://www.cs.unc.edu/~barman/HT96/P14/lpwww.html.

No context found.

S.W. Loke and A. Davison. Logic programming with the World-Wide Web. In 7th. ACM Conference on Hypertext, pages 235-245. ACM Press, March 1996. Available from http://www.cs.unc.edu/~barman/HT96/P14/lpwww.html.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC