LogicWeb: Enhancing the Web with logic programming

Journal of Logic Programming

Volumn 36, Issue 3, 1998, Pages 195-240

  Loke, Seng Wai ^a   Davison, Andrew ^b  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b PRINCE OF SONGKLA UNIVERSITY   (Thailand)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER SOFTWARE; DATA COMMUNICATION SYSTEMS; DATABASE SYSTEMS; HEURISTIC METHODS; HIGH LEVEL LANGUAGES; MATHEMATICAL MODELS;

DEDUCTIVE DATABASE; LOGICWEB; WEB BROWSER; WORLD WIDE WEB;

LOGIC PROGRAMMING;

EID: 0032163049     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(98)00002-8     Document Type: Article

References (76)

1. 3Web, Dept. Lenguajes y Ciencias de la Computacion, Univ. de Malaga, Spain.
2. Amzil Prolog, 1996. Internet and Web Tools.
3. Aquilino, D., Asirelli, P., Renso, C., Turini, F., 1997. Applying restriction constraints to deductive databases, non-determinism in deductive databases. Ann. Math. Artificial Intelligence 19 (1/2), 3-25.
4. Baldoni, M., Giordano, L., Martelli, A., 1993. A multimodal logic to define modules in logic programming. In: Miller, D. (Ed.), Proceedings of the International Symposium on Logic Programming. MIT Press, Cambridge, MA, pp. 473-487.
5. Ball, S., 1996. Surflt! - A WWW browser. In: Proceedings of the Fourth Annual USENIX Tcl/Tk Workshop. Monterey, California, USA.
6. Berners-Lee, T., Fielding, R., Frystyk, H., 1996. HyperText Transfer Protocol (HTTP/1.0) Specification (RFC 1945).
7. Bonnet, Ph., Bressan, S., 1997. Extraction and integration of data from semi-structured documents into business applications. In: INAP'97: Tenth Symposium and Exhibition on Industrial Applications of Prolog, Robe, Japan.
8. Bonnet, Ph., Bressan, S., Leth, L., Thomsen, B., 1996. Towards ECLiPSe agents on the internet. In: Turau, P., Davison, A., De Bosschere, K., Hermenegildo, M. (Eds.), Proceedings of the First Workshop on Logic Programming Tools for Internet Applications, JICSLP'96: Joint International Conference on Logic Programming, Bonn, Germany, pp. 1-9.
9. Brogi, A., Mancarella, P., Pedreschi, D., Tutini, F., 1994a. Modular logic programming. ACM Trans. Programming Languages Systems 16 (4), 1361-1398.
10. Brogi, A., Renso, C., Turini, F., 1994b. Amalgamating language and meta-language lor composing logic programs. In: Proceedings of GULP-PRODE 94 Joint Conference on Declarative Programming, Peniscola, Spain.
11. Brusilovsky, P., 1994. Adaptive hypermedia: An attempt to analyse and generalize. In: Proceedings of the Workshop on Adaptive Hypertext and Hypermedia at the Fourth International Conference on User Modeling, Massachusetts, USA.
12. Bugliesi, M., Lamma, E., Mello, P., 1994. Modularity in logic programming. J. Logic Programming 19/20. 443-502.
13. Cabeza, D., Hermenegildo, M., 1996. html.pl: An HTML Package for (C)LP Systems, Spain.
14. Cabeza, D., Hermenegildo, M., Varma, S., 1996. The PiLLoW/CIAO library for INTERNET/WWW programming. In: Tarau, P., Davison, A., De Bosschere, K., Hermenegildo, M. (Eds.), Proceedings of the First Workshop on Logic Programming Tools for Internet Applications, JICSLP'96: Joint International Conference on Logic Programming. Bonn, Germany, pp. 43-62.
15. Calejo, M., Sousa, J.P., 1997. Embedding prolog in the Java environment. In: Second International Workshop on LP Tools for Internet Applications, ICLP'97, Leuven, Belgium.
16. Carpenter, B., 1996. A Prolog-Based CGI Handler. http://macduff.andrew.cmu.edu/ cgparser/prolog_cgi.html.
17. Clark, K.L., Lazarou, V.S., 1997. Distributed information retrieval using a multi-agent system and the role of logic programming. In: Second International Workshop on LP fools for Internet Applications, ICLP'97. Leuven, Belgium.
18. Clark, K.L., Skarmeas, N., McCabe, F.G., 1996. Agents as clonable objects with knowledge-base stale. In: Proceedings of the Second International Conference on MultiAgent Systems.
19. Connor, R., 1996. An Overview of the Aims of the Hippo Project. Available from http:// grappa.dcs.st-and.ac.uk/HIPPO/overview.ps.
20. Damiani, E., Tanca, L., 1997. WG-LOG: A graph-oriented language for the world wide web. In: Second International Workshop on LP Tools for Internet Applications, ICLP'97, Leuven, Belgium.
21. Denti, E., Natali, A., Omicini, A., 1997. Merging logic programming into web-based technology: A coordination-based approach. In: Second International Workshop on LP Tools for Internet Applications, ICLP'97, Leuven, Belgium.
22. El-Beltagy, S.R., Rafea, M., Rafea, A., 1997. Practical development of internet prolog applications using a Java front end. In: Second International Workshop on LP Tools for Internet Applications, ICLP'97, Leuven, Belgium.
23. Eliëns, A., de Bra, P., Treur, J., Brazier, F., van Vliet, H., 1997. Position paper: Web agent support program. In: WWW6 Logic Programming Workshop, Santa Clara, California, USA.
24. Eriksson, J., Finne, N., Janson, S., 1996. Information and interaction in MarketSpace and their implementation in prolog. In: Tarau, P., Davison, A., De Bosschere, K., Hermenegildo, M. (Eds.), Proceedings of the First Workshop on Logic Programming Tools for Internet Applications, JICSLP'96: Joint International Conference on Logic Programming. Bonn, Germany, pp. 125-137.
25. Eriksson, J., Espinoza, F., Finne, N., Holmgren, F., Janson, S., Kaltea, N., Olsson, O., 1997. An internet software platform based on SICStus Prolog (position paper). In: WWW6 Logic Programming Workshop. Santa Clara, California, USA.
26. Ferguson, D., 1996. Linking a Prolog Program into an HTTPD, Posting to comp.lang.prolog, 7th November.
27. Fielding, R., Gettys, J., Mogul, J., Frystyk, H., Berners-Lee, T., 1997. Hypertext Transfer Protocol HTTP/1.1. Request for Comments 2068. Available at http://reference.nrcs. usda.gov/ietf/rfc/2100/rfc2068.htm.
28. Frühwirth, T., Abdennadher, S., 1996. The Munich rent advisor. In: Tarau, P., Davison, A., De Bosschere, K., Hermenegildo, M. (Eds.), Proceedings of the First Workshop on Logic Programming Tools for Internet Applications, JICSLP'96: Joint International Conference on Logic Programming. Bonn, Germany, pp. 11-27.
29. Garey, M.R., Johnson, D.S., 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York.
30. Giannotti, F., Maneo, G., Pedreschi, D., 1997. A deductive data model for representing and querying semi-structured data. In: Second International Workshop on LP Tools for Internet Applications, ICLP'97, Leuven, Belgium.
31. Gosling, J., Joy, B., Steele, G., 1997. The Java Language Specification. Addison-Wesley, Reading, MA.
32. Han, Y., Loke, S.W., Sterling, L., 1997. Agents lor citation finding on the world wide web. In: PAAM'97: Second Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology.
33. Haridi, S., Van Roy, P., 1996. An overview of the design of Distributed Oz. In: Chakravarty, M.M.T. Guo, Y., Ida, Y. (Eds.), Proceedings of the Multi-Paradigm Logic Programming Workshop, JICSLP'96: Joint International Conference on Logic Programming, Bonn, Germany, pp. 13-24.
34. -, CASCON'95, Toronto, Canada.
35. Hermenegildo, M., Greene, K., 1991 The &-prolog system: Exploiting independent and-parallelism. New Generation Comput. 9 (3/4), 233-257.
36. Hodgson, J., 1996. Programming Language Prolog. Part 2, Programs, Committee Draft, 31st May. Available from http://www.sju.edu/∼jhodgson/x3j17.html.
37. HotJava, 1996. The Java White Paper: The HotJava World Wide Web Browser. http:// java.motiv.co.uk/intro/javawhitepaper_7.html.
38. HTML 3.2 Reference Specification, 1996. W3C Proposed Recommendation. http://www.w3.org/ pub/WWW/TR/PR-html32-961105
39. IF Computer, 1996. MINERVA Documentation. http://www.ifcomputer.com/StrategicWeb/MINERVA/home_en.html.
40. Kino, N., 1997. JIPL. Available at http://Prolog.isac.co.jp/jipl/index_e.html.
41. Kowalski, R.A., 1996. Using meta-logic to reconcile reactive with rational agents. In: PAAM 96: The Practical Applications of Intelligent Agents and Multi-Agent Technology, London, pp. 361-374.
42. Lakshmanan, L.V.S., Sadri, F., Subramanian, I.N., 1996. A declarative approach to querying and restructuring the world-wide-web. In: Post-ICDE Workshop on Research Issues in Data Engineering (RIDE'96). New Orleans.
43. Loke, S.W., Davison, A., 1996. Logic programming with the world-wide-web. In: Proceedings of the Seventh ACM Conference on Hypertext. ACM, New York, pp. 235-245.
44. Loke, S.W., Davison, A., Sterling, L., 1996a. CiFi: An intelligent agent for citation finding on the world wide web. In: PRICAI'96: Fourth Pacific Rim International Conference on Artificial Intelligence. Cairns, Australia.
45. Loke, S.W., Davison, A., and Sterling, L., 1996b. Lightweight deductive databases on the world-wide web. In: Tarau, P., Davison, A., De Bosschere, K., Hermenegildo, M. (Eds.), Proceedings of the First Workshop on Logic Programming fools for Internet Applications, JICSLP'96: Joint International Conference on Logic Programming, Bonn, Germany, pp. 91-106.
46. Loke, S.W., Davison, A., 1997a. A logic programming approach to generating web-based guided tours. In: PAP'97: Fifth International Conference and Exhibition on the Practical Application of Prolog. London, UK.
47. Loke, S.W., Davison, A., 1997b. A two-level world wide web model with logic programming links. In: Second International Workshop on LP fools for Internet Applications, ICLP'97, Leuven, Belgium.
48. LPA 1997. LPA ProWeb Server. Available at http://www.lpa.co.uk/.
49. Luke, S., Spector, L., Rager, D., 1996. Ontology-based knowledge discovery on the world wide web. In: Proceedings of the Workshop on Internet-based Information Systems. AAAI-96, Portland, Oregon, USA.
50. Lüttringhaus-Kappel, S., Schulz, D., 1996. A calendar of events Architecture and experiences. In: Tarau, P., Davison, A., De Bosschere, K., Hermenegildo, M. (Eds.), Proceedings of the First Workshop on Logic Programming Tools for Internet Applications, JICSLP'96: Joint International Conference on Logic Programming, Bonn, Germany, pp. 29-41.
51. McCabe, F.G., Clark, K.L., 1995. April - Agent process interaction language. In: Wolldridge, M., Jennings, N. (Eds.), Intelligent Agents. Lecture Notes in Artificial Inteligence, vol. 890, Springer, Berlin.
52. Mendelzon, A., Milo, T., 1997. Formal models of the web. In: PODS'97: Proceedings of the Principles of Database Systems.
53. Miller, D., 1989. A logical analysis of modules in logic programming. J. Logic Programming 6(1,2), 79-108.
54. Monteiro, L., Porto, A., 1989. Contextual logic programming. In: Levi, G., Martelli, M. (Eds.), Proceedings of the Sixth International Conference on Logic Programming, Lisbon, Portugal. MIT Press, Cambridge, MA, pp. 284-299.
55. Monteiro, L., Porto, A., 1993. A language for contextual logic programming. In: Apt, K.R., de Bakker, J.W., Rutten, J.J.M.M. (Eds.), Logic Programming Languages: Constraints, Functions, and Objects, Logic Programming Series. MIT Press, Cambridge, MA.
56. Moreno-Navarro, J.J., 1995. Tuple inheritance: A new kind of inheritance for (constraint) logic programming (extended abstract). In: Levi, G., Martelli, M. (Eds.), Proceedings of the Twelfth International Conference on Logic Programming. MIT Press, Cambridge, MA, pp. 829. Technical report version (LML-LSIIS-FIM/1/96) available at ftp://lml.ls.fi.upm.es/pub/ papers/jjmoreno/inh_rep.ps.
57. Naish, L., 1995. HTML Forms Interface to NU-Prolog. http://www.cs.mu.oz.au/∼lee/ src/forms/index.html.
58. NCSA, 1996. NCSA XMosaic and CCI Documentation. http://www.ncsa.uiuc.edu/ SDG/Softwate/XMosaic/ and http://www.ncsa.uiuc.edu/SDG/Software/XMosaic/CCI/cci-spec.html.
59. Nilsson, U., 1997. The program committee virtual workbench. In: Second International Workshop on LP Tools for Internet Applications, ICLP'97, Leuven, Belgium.
60. Prendinger, H., 1997. Logic programming methods lor searching the web. In: Second International Workshop on LP Tools for Internet Applications, ICLP'97, Leuven, Belgium.
61. Price, R., 1997. No more me too. In: Second International Workshop on LP fools lor Internet Applications, ICLP'97, Leuven, Belgium.
62. Reynolds, M.C., Wooldridge, A., 1996. Special Edition Using JavaScript. QUE.
63. Rouaix, P., 1996. A web navigator with applets in caml. In: Proceedings of the Fifth World Wide Web Conference.
64. Sandewall, E., 1996. Towards a world-wide database. In: WWW5: Fifth International World Wide Web Conference, Paris, France.
65. Seamons, K.E., Winsborough, W., Winslett, M., 1997. Internet credential acceptance policies. In: Second International Workshop on LP Tools for Internet Applications, ICLP'97, Leuven, Belgium.
66. Sehmi, A., Kroening, M., 1996. WebLS: A custom prolog rule engine for providing web-based tech support. In: Tarau, P., Davison, A., De Bosschere, K., Hermenegildo, M. (Eds.), Proceedings of the First Workshop on Logic Programming Tools for Internet Applications, JICSLP'96: Joint International Conference on Logic Programming, Bonn, Germany, pp. 107-123.
67. Shapiro, E., 1994. Enhancing the WWW with co-presence. In: Proceedings of the Second International Conference on the WWW.
68. SICSlus, 1996. SICStus Prolog Documentation. http://www.sics.se/sics-tus.html.
69. Szeredi, P., Molnár, K., Scott, R., 1996. Serving multiple HTML clients from a prolog application. In: Tarau, P., Davison, A., De Bosschere, K., Hermenegildo, M. (Eds.), Proceedings of the First Workshop on Logic Programming Tools for Internet Applications, JICSLP'96: Joint International Conference on Logic Programming, Bonn, Germany, pp. 81-90.
70. Tarau, P., 1996. BinProlog 5.25 Documentation. System available from http://clement.info.umoncton.ca/∼tarau.
71. Tarau, P., 1997. Linda Interactor. Available at http://clement.info.umoncton.ca/ tarau/LindaInteractor.tar.gz.
72. Tarau, P., Dahl, V., 1997. Mobile threads through first order continuations. Tech. Report, Dept. d'Informatique, Unix. Moncton, Canada.
73. Tarau, P., De Bosschere, K., 1996. Virtual world brokerage with BinProlog and Netscape. In: Tarau, P., Davison, A., De Bosschere, K., Hermenegildo, M. (Eds.). Proceedings of the First Workshop on Logic Programming Tools for Internet Applications, JICSLP'96: Joint International Conference on Logic Programming. Bonn, Germany. pp. 63-80.
74. Tarau, P., De Bosschere, K., Dahl, V., Rochefort, S., 1997. LogiMOO: An extensible multi-user virtual world with natural language control. Tech. Report, Dept. d'Informatique, Univ. Moncton, Canada.
75. Vasey, P., 1997. Underwriting on the web using prolog. PAP'97 tutorial. In: Filth International Conference and Inhibition on The Practical Application of Prolog, London, UK
76. Winikoff, M., 1996 W-Prolog 1.0 Documentation. System available from http:// www.cs.mu.cz.au/∼winikoff/wp.