Skip to main content
SpringerLink
Log in
Book cover

Artificial Intelligence Today pp 431–456Cite as

Towards a Logic Programming Infrastructure for Internet Programming

  • Chapter
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1600))

Abstract

After reviewing a number of Internet tools and technologies originating in the field of logic programming and discussing promissing directions of ongoing research, we describe a logic programming based networking infrastructure which combines reasoning and knowledge processing with flexible coordination of dynamic state changes and computation mobility, as well as and its use for the design of intelligent mobile agent programs.

A lightweight logic programming language, Jinni, implemented in Java is introduced as a flexible scripting tool for gluing together knowledge processing components and Java objects in networked client/server applications and thin client environments as well as through applets over the Web.

Mobile threads, implemented by capturing first order continuations in a compact data structure sent over the network, allow Jinni to interoperate with remote high performance BinProlog servers for CPU-intensive knowledge processing.

A Controlled Natural Language to Prolog translator with support of third party speech recognition and text-to-speech translation allows interaction with users not familiar with logic programming.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The Avalon MUD. http://www.avalon-rpg.com/.

  2. G. T. Almes, A. P. Black, E. D. Lazowska, and J. D. Noe. The Eden System: A Technical Review. IEEE Transactions on Software Engineering, 11(1):43–59, January 1985.

    Article  Google Scholar 

  3. K. A. Bharat and L. Cardelli. Migratory applications. In Proceedings of the 8th Annual ACM Symposium on User Interface Software and Technology, Nov. 1995. http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-138.html.

  4. BlackSun. CyberGate. http://www.blaxxsun.com/.

  5. P. Bonnet, L. Bressnan S., Leth, and B. Thomsen. Towards ECLIPSE Agents on the Internet. In [44]. http://clement.info.umoncton.ca/lpnet.

  6. D. Cabeza and M. Hermenegildo. html.pl: A HTML Package for (C)LP systems. Technical report, 1996. Available from http://www.clip.dia.fi.upm.es.

  7. D. Cabeza and M. Hermenegildo. The Pillow/CIAO Library for Internet/WWW Programming using Computational Logic Systems. In [44]. http://clement.info.umoncton.ca/lpnet.

  8. L. Cardelli. Mobile ambients. Technical report, Digital, 1997. http://www.research.digital.com/SRC/personal/Luca_Cardelli/Papers.html.

  9. L. Cardelli. Mobile Computation. In J. Vitek and C. Tschudin, editors, Mobile Object Systems-Towards the Programmable Internet, pages 3–6. Springer-Verlag, LNCS 1228, 1997.

    Google Scholar 

  10. N. Carriero and D. Gelernter. Linda in context. CACM, 32(4):444–458, 1989.

    Article  Google Scholar 

  11. P. Ciancarini. Coordinating Rule-Based Software Processes with ESP. ACM Transactions on Software Engineering and Methodology, 2(3):203–227, 1993.

    Article  MathSciNet  Google Scholar 

  12. V. Dahl, P. Tarau, and R. Li. Assumption Grammars for Processing Natural Language. In L. Naish, editor, Proceedings of the Fourteenth International Conference on Logic Programming, pages 256–270, MIT press, 1997.

    Google Scholar 

  13. V. Dahl, P. Tarau, S. Rochefort, and M. Scortescu. A Spanish Interface to LogiMoo-towards multilingual virtual worlds. In International Workshop on Spanish Natural Language Processing and Spanish Language Technologies, New Mexico, July 1997. invited talk.

    Google Scholar 

  14. K. De Bosschere, D. Perron, and P. Tarau. LogiMOO: Prolog Technology for Virtual Worlds. In Proceedings of PAP’96, pages 51–64, London, Apr. 1996.

    Google Scholar 

  15. K. De Bosschere and P. Tarau. Blackboard-based Extensions in Prolog. Software — Practice and Experience, 26(1):49–69, Jan. 1996.

    Article  Google Scholar 

  16. GeneralMagicInc. Odissey. 1997. available at http://www.genmagic.com/agents.

  17. GeneralMagicInc. Portico. 1998. http://www.genmagic.com/portico/portico.html.

  18. IBM. Aglets. http://www.trl.ibm.co.jp/aglets.

  19. E. Jul, H. Levy, N. Hutchinson, and A. Black. Fine-Grained Mobility in the Emerald System. ACM Transactions on Computer Systems, 6(1):109–133, February 1988.

    Article  Google Scholar 

  20. R. E. Kahn and V. G. Cerf. The digital library project, volume i: The world of knowbots. 1988. Unpublished manuscript, Corporation for National Research Initiatives, Reston, Va., Mar.

    Google Scholar 

  21. Lakshmanan, L. V. S. and Sadri, F. and Subramanian, I.N. A Declarative Language for Querying and Restructuring the WWW. In Proc. of the Post-ICDE IEEEWorkshop on Research Issues in Data Engineering, feb 1996.

    Google Scholar 

  22. S. W. Locke, A. Davison, and S. L. Lightweight Deductive Databases for the World-Wide Web. In [44]. http://clement.info.umoncton.ca/lpnet.

  23. S. W. Loke. Adding Logic Programming Behaviour to the World Wide Web. Phd thesis, University of Melbourne, Australia, 1998.

    Google Scholar 

  24. 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.

    Google Scholar 

  25. J. Ludewig. Problems in Modeling the Software Development Process as an Adventure Game. In H. Rombach, V. Basili, and R. Selby, editors, Int. Workshop on Experimental Sw Engineering Issues, volume 706, pages 23–26, Dagsthul, Germany, Sept 1992. Springer.

    Google Scholar 

  26. McCabe, F.G. and Clark, K.L. April-Agent Process Interaction Language. In Intelligent Agents, (LNAI 890). Springer-Verlag, 1995.

    Google Scholar 

  27. T. Meyer, D. Blair, and S. Hader. WAXweb: a MOO-based collaborative hyper media system for WWW. Computer Networks and ISDN Systems, 28(1/2):77–84, 1995.

    Article  Google Scholar 

  28. MicrosoftCorp. Microsoft Agent. 1998. http://www.microsoft.com/msagent/agentdl.asp/.

  29. Pontelli, E. and Gupta, G. W-ACE: A Logic Language for Intelligent Internet Programming. In Proc. of IEEE 9th ICTAI’97, pages 2–10, 1997.

    Google Scholar 

  30. J. W. Stamos and D. K. Gifford. Remote Evaluation. ACM Transaction on Programming Languages and Systems, 12(4):537–565, October 1990.

    Article  Google Scholar 

  31. P. Szeredi, K. Molnár, and R. Scott. Serving Multiple HTML Clients from a Prolog Application. In [44]. http://clement.info.umoncton.ca/lpnet.

  32. P. Tarau. Logic Programming and Virtual Worlds. In Proceedings of INAP96, Tokyo, Nov. 1996. keynote address.

    Google Scholar 

  33. P. Tarau. BinProlog 5.75 User Guide. Technical Report 97-1, Département d’Informatique, Université de Moncton, Apr. 1997. Available from http://clement.info.umoncton.ca /BinProlog.

  34. P. Tarau. Jinni: a Lightweight Java-based Logic Engine for Internet Programming. Manchester, U.K., June 1998. invited talk.

    Google Scholar 

  35. P. Tarau and M. Boyer. Elementary Logic Programs. In P. Deransart and J. Maluszyński, editors, Proceedings of Programming Language Implementation and Logic Programming, number 456 in Lecture Notes in Computer Science, pages 159–173. Springer, Aug. 1990.

    Chapter  Google Scholar 

  36. P. Tarau and V. Dahl. A Coordination Logic for Agent Programming in Virtual Worlds. In W. Conen and G. Neumann, editors, Proceedings of Asian’96 Post-Conference Workshop on Coordination Technology for Collaborative Applications, Singapore, Dec. 1996.

    Google Scholar 

  37. P. Tarau and V. Dahl. Mobile Threads through First Order Continuations. 1997. submitted, http://clement.info.umoncton.ca/html/tmob/html.html.

  38. P. Tarau and V. Dahl. Mobile Threads through First Order Continuations. Coruna, Spain, July 1998.

    Google Scholar 

  39. P. Tarau, V. Dahl, and K. De Bosschere. A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. In Proceedings of WETICE’97.

    Google Scholar 

  40. P. Tarau, V. Dahl, and K. De Bosschere. Logic Programming Tools for Remote Execution, Mobile Code and Agents. In Proceedings of ICLP’97 Workshop on Logic Programming and Multi Agent Systems, Leuven, Belgium, July 1997.

    Google Scholar 

  41. P. Tarau, V. Dahl, and K. De Bosschere. Remote Execution, Mobile Code and Agents in BinProlog. In Electronic Proceedings of WWW6 Logic Programming Workshop, http://www.cs.vu.nl /eliens/WWW6/papers.html, Santa Clara, California, Mar. 1997.

  42. P. Tarau, V. Dahl, and A. Fall. Backtrackable State with Linear Affine Implication and Assumption Grammars. In J. Jaffar and R. H. Yap, editors, Concurrency and Parallelism, Programming, Networking, and Security, Lecture Notes in Computer Science 1179, pages 53–64, Singapore, Dec. 1996. “Springer”.

    Chapter  Google Scholar 

  43. P. Tarau, V. Dahl, S. Rochefort, and K. De Bosschere. LogiMOO: a Multi-User Virtual World with Agents and Natural Language Programming. In S. Pemberton, editor, Proceedings of CHI’97, pages 323–324, Mar. 1997.

    Google Scholar 

  44. P. Tarau, A. Davison, K. De Bosschere, and M. Hermenegildo, editors. Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP’96, Bonn, Sept. 1996. http://clement.info.umoncton.ca/lpnet.

  45. P. Tarau, K. De Boschere, V. Dahl, and S. Rochefort. LogiMOO: an Extensible Multi-User Virtual World with Natural Language Control. 1997. accepted for publication, http://clement.info.umoncton.ca/html/lm/html.html.

  46. P. Tarau and K. De Bosschere. Memoing with Abstract Answers and Delphi Lemmas. In Y. Deville, editor, Logic Program Synthesis and Transformation, Springer-Verlag, pages 196–209, Louvain-la-Neuve, July 1993.

    Google Scholar 

  47. P. Tarau and K. De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In [44]. http://clement.info.umoncton.ca/lpnet.

  48. P. Tarau, K. De Bosschere, and B. Demoen. Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. Journal of Logic Programming, 29(1–3):65–83, Nov. 1996.

    Article  MATH  Google Scholar 

  49. P. Tarau, K. De Bosschere, and M. Hermenegildo, editors. Proceedings of the 2nd International Workshop on Logic Programming Tools for INTERNET Applications, ICLP’97, Leuven, July 1997. http://clement.info.umoncton.ca/lpnet.

  50. P. Van Roy, S. Haridi, and P. Brand. Using mobility to make transparent distribution practical. 1997. manuscript.

    Google Scholar 

  51. P. Van Roy, S. Haridi, P. Brand, G. Smolka, M. Mehl, and R. Scheidhouer. Mobile Objects in Distributed Oz. ACM TOPLAS, 1997. to appear.

    Google Scholar 

  52. D. H. D. Warren. Higher-order extensions to Prolog — are they needed? In D. Michie, J. Hayes, and Y. H. Pao, editors, Machine Intelligence 10. Ellis Horwood, 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Département of Computer Science, University of North Texas, USA

    Paul Tarau

  2. Logic and Functional Programming Group, Department of Computing Sciences, Simon Fraser University, Canada

    Veronica Dahl

Authors
  1. Paul Tarau
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Veronica Dahl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electronic Engineering, Queen Mary and Westfield College, University of London, London, E1 4NS, UK

    Michael J. Wooldridge

  2. Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 15213, USA

    Manuela Veloso

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Tarau, P., Dahl, V. (1999). Towards a Logic Programming Infrastructure for Internet Programming. In: Wooldridge, M.J., Veloso, M. (eds) Artificial Intelligence Today. Lecture Notes in Computer Science(), vol 1600. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48317-9_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-48317-9_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66428-4

  • Online ISBN: 978-3-540-48317-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation