Skip to main content
SpringerLink
Log in

Inference and Computation Mobility with Jinni

  • Chapter
The Logic Programming Paradigm

Part of the book series: Artificial Intelligence ((AI))

Summary

We introduce Jinni (Java INference engine and Networked Interactor), a lightweight, multi-threaded, logic programming language, intended to be used as a flexible scripting tool for gluing together knowledge processing components and Java objects in networked client/server applications, 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 and with other Jinni components over the Internet.

These features make Jinni a perfect development platform for intelligent mobile agent systems.

Jinni is fully implemented and is being used in a growing number of industrial and academic projects. The latest version is available from http://www.binnetcorp.com/Jinni

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

Access this chapter

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

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. K.A. Bharat, 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

    Google Scholar 

  3. BlackSun. CyberGate. http://www.blaxxun.com/.

  4. L. Cardelli. Mobile ambients. Technical report, Microsoft, 1998. http://www. research.microsoft.com/users/adg/Research/Ambit/default.html.

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

    Google Scholar 

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

    Google Scholar 

  7. S. Castellani, P. Ciancarini.Enhancing Coordination and Modularity Mechanisms for a Languag e with Objects-as-Multisets. In P. Ciancarini, C. Han- kin, editors, Proc. 1st Int. Conf on Coordination Models and Languages, volume 1061 of LNCS, pages 89–106, Cesena, Italy, April 1996. Springer-Verlag

    Google Scholar 

  8. V. Dahl, P. Tarau, 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 

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

    Google Scholar 

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

    Google Scholar 

  11. GeneralMagicInc. Odissey. 1997. http://www.genmagic.com/agents.

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

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

  16. P. Tarau. BinProlog 7.0 Professional Edition: Advanced BinProlog Programming and Extensions Guide. Technical report, BinNet Corp., 1998. Available from http: //www. binnetcorp. com/BinProlog/www

    Google Scholar 

  17. P. Tarau,V. Dahl. Mobile Threads through First Order Continuations. In Proceedings of APPAI-GULP-PRODE’98, Coruna, Spain, July 1998

    Google Scholar 

  18. P. Tarau, V. Dahl, 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-Verlag.

    Chapter  Google Scholar 

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

    Google Scholar 

  20. P. Tarau, K. De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In 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/ 1pnet.

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of North Texas, P.O. Box 311366, Denton, Texas, USA

    Paul Tarau

Authors
  1. Paul Tarau
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Stichting Mathematisch Centrum, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098, Amsterdam, SJ, The Netherlands

    Krzysztof R. Apt

  2. Department of Computer Science, University of Kentucky, 773 Anderson Hall, 40506-0046, Lexington, KY, USA

    Victor W. Marek  & Mirek Truszczynski  & 

  3. Computer Science Department, University at Stony Brook, Stony Brook, 11794-4400, NY, USA

    David S. Warren

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Tarau, P. (1999). Inference and Computation Mobility with Jinni. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds) The Logic Programming Paradigm. Artificial Intelligence. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60085-2_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-60085-2_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-64249-4

  • Online ISBN: 978-3-642-60085-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation