Kernel Prolog 

Get the full sources of the reference implementation of Kernel Prolog, a lightweight Java based Prolog interpreter with an innovative system of built-ins based on Fluents, a Prolog extension providing reflection and smooth interoperation with external objects. Or take a quick look at this White Paper. first!

How to participate in the Open Source development process:

Kernel Prolog is available in Open Source form under the GNU Public License (GPL) as described at: As a convenience to developers of non-GPL commercial applications, BinNet Corporation, who holds the copyright on the original Kernel Prolog code, will provide for a fee, an alternative commercial license, going beyond GPL, to developers preferring to build proprietary components embedding BinNet's version of Kernel Prolog in binary form.  Contact BinNet Corporation at for requests on arranging a customized commercial licensing model and for pricing of support services.

Or order BinNet's high performance Prolog compilers today: C-based BinProlog running at 150 Million LIPS and 100% pure Java based Jinni Prolog.

What's new in Kernel Prolog

Kernel Prolog replaces conventional side effects in Prolog by introducing first-class engines and FLUENTS - stateful objects which give a uniform view on external Java objects file streams, the Prolog database and resolution process. Still, the look and feel of basic Prolog and its (Horn Clause) syntax are preserved.

Kernel Prolog can be seen as an executable specification of how a next generation Prolog can look - despite its compact design, it has features going far beyond ISO Prolog.

, an innovative software development company specializing in Java and Prolog based Internet Programming, Intelligent Mobile Agent building tools, distributed AI and networked knowledge processing components. WWW:   E-mail: 
Return to the BinNet Homepage