A possible architecture for integrating a full Prolog with Squeak.....

Dwight Hughes dwighth at ipa.net
Thu Nov 18 16:51:16 UTC 1999


This was sent to comp.compilers today. Although the reference
implementation is in Java, I find the implementation architecture used
to be quite interesting and promising.

-- Dwight

------------------------------------------------------------------------------
(beginning of original message)

Subject: NEW: Java based Kernel Prolog (Open Source Reference
Implementation)
From: Paul Tarau <tarau at silo.csci.unt.edu>
Date: 1999/11/18
Newsgroups: comp.compilers
We are glad to announce BinNet Corporation's latest Open Source
project, Kernel Prolog.

While providing a compact Java based reference implementation which
runs Horn Clause code as any conventional Prolog, the Kernel Prolog
project establishes an Open Source forum for experimenting with a
radical departure from Prolog's two decades old built-ins (90% of a
Prolog system's implementation effort:-) ) hoping that an improved
logic programming language, usable as a mainstream software
development tool, will eventually emerge as a result.

Kernel Prolog's redesigned set of built-ins is based on Fluents,
stateful objects (organized in a Java class tree), which provide
control over the underlying interpeter and uniform interoperation
patterns with external object oriented and procedural languages.

Fluents include Answer Sources (first-class Interpreters) and a number
of other built-in Sources and Sinks which cover everything from I/O
operations to lazy, composable data structures.

You are invited to download the Kernel Prolog sources,
join the project and interact with developers and users through
Kernel Prolog's Web site, at:

http://www.binnetcorp.com/OpenCode/kernelprolog.html

The download area is also mirrored at:

http://www.cs.unt.edu/~tarau/kprolog/Main.html

The code is designed to be extensible, easy to modify and adapt,
and it is known to run on virtually any JDK 1.1 or 1.2 compatible Java.

A set of GUI building predicates and a simple IDE are provided as
a proof of concept of Kernel Prolog's smooth interoperation with the
underlying Java system.

Paul Tarau
BinNet Corp.

(end of original message)
------------------------------------------------------------------------------





More information about the Squeak-dev mailing list