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
|