[wunderwald at preference.de: Re: Announcing Mercury 0.8]

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Dec 1 22:22:46 AEDT 1998

-----Forwarded message from "Jens E. Wunderwald" <wunderwald at preference.de>-----

Message-ID: <3662AC2D.EE6CB0E7 at preference.de>
Date: Mon, 30 Nov 1998 15:31:09 +0100
From: "Jens E. Wunderwald" <wunderwald at preference.de>
Organization: Database Preference Software GmbH
X-Mailer: Mozilla 4.05 [en] (X11; I; Linux 2.0.35 i686)
MIME-Version: 1.0
To: Fergus Henderson <fjh at cs.mu.OZ.AU>
Subject: Re: Announcing Mercury 0.8
References: <72ttgj$nqq$1 at mulga.cs.mu.OZ.AU>
Content-Type: text/html; charset=us-ascii
Content-Transfer-Encoding: 7bit

Dear Fergus,

<P>reading your announcment of the latest Mercury version, I found that
you have treid to integrate tabling into the language.  I am not sure
if you are aware of the approach to tabling descibed in my <A HREF="http://wwwradig.informatik.tu-muenchen.de/papers/diss/wunderwald/zusammenfassung.englisch.txt">PhD
thesis</A> .

<P>My work shares the compilation strategy chosen by the Mercury as it
presents a teamsource-to-source transformation technique. This makes implementation
much simpler than the SLG approach chosen by the XSB group.

<P>My approach  also has in common with Mercury the use of modes,
though I apply a less rigid notion, stemming from the deductive databases

<P>My thesis is quite Prolog-oriented, contrasting your pure logic ideology.
I just wanted something to run immedeately, but I think my techniques should
also work in your environment.

<P>I have implemented everything described in my thesis,  but due
to insufficient documentation, I did not put it into the net. If you are
interested, I can send you the code.

<P>Since I found little hope to make a living based on logic programming,
I do it as a recreational occupation. Within this limited time-slice, I
can help you, if you are interested in using my techniques.

<P>Ciao Jens</HTML>

-----End of forwarded message-----

Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at        |     -- leaked Microsoft memo.

More information about the developers mailing list