Fine-grained mobility in the Emerald system
ACM Transactions on Computer Systems (TOCS)
Communications of the ACM
Proceedings of the 8th annual ACM symposium on User interface and software technology
WAXweb: a MOO-based collaborative hypermedia system for WWW
Computer Networks and ISDN Systems
Blackboard-based extensions in Prolog
Software—Practice & Experience
Backtrackable State with Linear Affine Implication and Assumption Grammars
ASIAN '96 Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security
Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Proceedings of the sixth workshop on Declarative aspects of multicore programming
Coordination and concurrency in multi-engine prolog
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Theory and Practice of Logic Programming - Prolog Systems
Agent spaces: a scalable architecture for distributed logic agents
Proceedings of the 2012 ACM Research in Applied Computation Symposium
| Hi-index | 0.00 |
We overview the design and implementation of Jinni (Java INference engine and Networked Interactor), a lightweight, multi-threaded, pure 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 components 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.