Inference and Computation Mobility with Jinni

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.

[1]  David Blair,et al.  WAXweb: A MOO-Based Collaborative Hypermedia System for WWW , 1995, Comput. Networks ISDN Syst..

[2]  Luca Cardelli,et al.  Mobile Ambients , 1998, Foundations of Software Science and Computation Structure.

[3]  Verónica Dahl,et al.  Backtrackable State with Linear Affine Implication and Assumption Grammars , 1996, ASIAN.

[4]  Paul Tarau,et al.  Blackboard‐based extensions in Prolog , 1996, Softw. Pract. Exp..

[5]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[6]  Koen De Bosschere,et al.  Virtual World Brokerage with BinProlog and Netscape , 1996 .

[7]  Koen De Bosschere,et al.  Memoing with Abstract Answers and Delphi Lemmas , 1993, LOPSTR.

[8]  Jan Vitek,et al.  Mobile Object Systems Towards the Programmable Internet , 1996, Lecture Notes in Computer Science.

[9]  Verónica Dahl,et al.  Assumption Grammars for Processing Natural Language , 1997, ICLP.

[10]  Paul Tarau,et al.  Mobile Threads through First Order Continuations , 1998 .

[11]  Paolo Ciancarini,et al.  Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets , 1996, COORDINATION.

[12]  Paul Tarau,et al.  Logic Programming and Virtual Worlds , 1996 .

[13]  Luca Cardelli,et al.  Migratory applications , 1995, UIST '95.

[14]  Andrew P. Black,et al.  Fine-grained mobility in the Emerald system , 1987, TOCS.

[15]  Koen De Bosschere,et al.  Logimoo: Prolog technology for virtual works , 1996 .

[16]  Luca Cardelli.  Mobile Computation , 1996, Mobile Object Systems.

[17]  Lee Naish.  Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997 , 1997, ICLP.