Prolog interpreter or unification engine in Dolphin

> Does anyone have any experience with creating a Prolog interpreter
> or LP unification engine within Dolphin Smalltalk?  I am aware of
> QSoul (or "QSoul2" in its current incarnation) but it's done for
> Squeak and I'm looking for something a little more compatible.
>
> Failing that, anyone have experience porting QSoul or QSoul2?
> And, failing that, how about any Logic Programming capability
> within Smalltalk that's an alternative to QSoul?
>
> Thanks.
>

> > news:[hidden email]...
> > > Does anyone have any experience with creating a Prolog interpreter
> > > or LP unification engine within Dolphin Smalltalk?
> >
> > I'm currently porting AOKI Atsushi's Prolog interpreter and should have
> > finished that in a a few days.
>
> At one point I've done some work on porting that as well (to Dolphin 3.0,
> as far as I remember). My approach was to throw away the GUI altogether
> (I didn't need that anyway) and work on the compiler and computation
> engine. I wasn't quite happy with the original structure of that

>
> "Artur Zaroda" <[hidden email]> schrieb im Newsbeitrag
> news:[hidden email]...
> >
> > Hello,
> >
> > On Tue, 16 Oct 2001, Stefan Matthias Aust wrote:
> >
> > > "Jan Theodore Galkowski" <[hidden email]> schrieb im
> Newsbeitrag
> > > news:[hidden email]...
> > > > Does anyone have any experience with creating a Prolog interpreter
> > > > or LP unification engine within Dolphin Smalltalk?
> > >
> > > I'm currently porting AOKI Atsushi's Prolog interpreter and should have
> > > finished that in a a few days.
> >
> > At one point I've done some work on porting that as well (to Dolphin 3.0,
> > as far as I remember). My approach was to throw away the GUI altogether
> > (I didn't need that anyway) and work on the compiler and computation
> > engine. I wasn't quite happy with the original structure of that
> interpreter,
> > so I started some refactorings but didn't get very far.
> >
> > Anyway, AOKI Atsushi's interpreter is simple and should be a good starting
> > point to play with logic programming. If one is looking for practical
> tool,
> > my advice would be to use some other Prolog implementation, like SICStus
> > or Amzi!, which can live in DLL. Interfacing that from Dolphin should
> > be very easy.
> >
> > Artur Zaroda
> > [hidden email]
> >
>
> Hi,
>
> I agree with Artur, regarding practical use.
> Metalinguistic approaches are interesting, but mostly not much more than an
> academic toy. So are Prolog/V and Aokis Prolog implementations somewhat
> restrictive and
> (of course) not lighnting fast, though portable (in theory at least).
>
> For real world applications I would suggest a call interface to a *real*
> Prolog system like
> SICStus or Amzi. While the latter is free, the first is the (much) better.
> Some month ago, I offered an ActiveX for Dolphin call interface for SICStus
> to this group, but nobody showed interest.
> So if anybody wants it, just let me know.
>
> I also know of an socket based SICStus interface, which is somewhat slow,
> but should be portable across OS platforms.
>
> Ingo
>
> ibl at nexgo dot de

> Does anyone have any experience with creating a Prolog interpreter
> or LP unification engine within Dolphin Smalltalk?  I am aware of
> QSoul (or "QSoul2" in its current incarnation) but it's done for
> Squeak and I'm looking for something a little more compatible.
>
> Failing that, anyone have experience porting QSoul or QSoul2?
> And, failing that, how about any Logic Programming capability
> within Smalltalk that's an alternative to QSoul?
>
> Thanks.