Jinni 2006 Java based Prolog Compiler

As a multi-threaded pure Java based Prolog compiler, Jinni is an ideal tool for building Intelligent Agents Applications and Knowledge Processing Components. Order now Jinni 2006 online, at special introductory prices from http://www.binnetcorp.com/order.html !

!!! NEW: Jinni Evaluation Copies: !!!

Jinni 2006 for Java Jinni 2006 for .NET and PocketJinni (for PocketPCs, PalmOS PDAs and Cell Phones with Jeode Java runtime)

(just unzip and run with java -jar prolog.jar or netjinni.exe)

see Jinni User Guide for detailed instructions.

Jinni 2006 Java Applet Demos:

Run the Tetris Player Demo - powered by Visual Jinni 2006
- see the Prolog code for the Intelligent Tetris Player Agent
- see the Prolog code for the Tetris GUI
Run the Jinni3D Prolog + Java3D Toolkit Demo - requires installing Java3D
Run the Visual N-Queens program - see the Prolog code
Run the Jinni GUI based IDE Demo Applet of the new Jinni 2006 GUI library
Run the Jinni 2006 Naive Reverse benchmark - see Prolog code

Object Oriented Prolog Programming with Jinni 2006:

Jinni 2006 features a simple, elegant and fast Object Oriented Prolog layer - built as a natural extension to ISO Prolog. Classes are just Prolog files with include declarations - almost no changes are required to organize your existing Prolog code in an Object Oriented Style. As virtual calls are handled at compile time and instances are lightweight, Jinni 2006's Prolog Objects are extremely efficient. Prolog class files can be located at arbitrary URLs on the Web - you can inherit and override from a virtually unlimited library of existing Prolog files. And what if cycles will form? Not a problem! Jinni 2006 supports multiple cyclic inheritance for building in a scalable way, an arbitrary network of Web or file based interdependent Prolog classes. Here are some examples:

Object Oriented Prolog Classes: List, Stack, Queue, Loan, Compound Interest Loan, Mortgage
Examples of Cyclic Inheritance: Fahrenheit, Celsius, Kelvin
Java Object Wrappers: Java Object, Hashtable, Vector, Enumeration
Agent Programs: Agent Prototype, Agent Broker, Chat Agent
Networking Programs: Client Server Secure Client Secure Server
Cryptography: Encoding/Decoding Sealed Term

Embedding Jinni in a Java application: Java Side, Prolog Side

Jinni 2006 Features:

The Jinni 2006 Prolog compiler integrates a high performance pure Java based Prolog system featuring multiple logic engines and dynamic databases, with high level networking operations and a GUI development library. Packaged as a zipped 200k Java+Prolog bytecode library, Jinni 2006 is a self-contained, lightweight, knowledge and interaction processing component, featuring:

Fast WAM based, reentrant, multiple Prolog engines
Object Oriented Prolog extensions
Synchronized, flexible multi-threaded execution
Fully dynamic data areas, heap, symbol table, code area and external object garbage collection
Extensibility and interoperation with Java through robust Reflection based bi-directional interface
High level networking through password protected remote predicate call mechanism
Distributed blackboard technology providing powerful associative search on structured data
Agent coordination language, with ability to express waiting and notification on complex conditions
Code and data fetching over the Internet, ability to see URLs as ordinary files
The Visual Jinni GUI library
Flexible Licensing

Order now Jinni 2006 online, at special introductory prices from http://www.binnetcorp.com/order.html !