Towards inference and computation mobility: The jinni experiment

Abstract

We overview the design and implementation of Jinni1 (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 CPUintensive knowledge processing and with other Jinni components over the Internet. These features make Jinni a perfect development platform for intelligent mobile agent systems.