[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
<HTML>
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
tradition.
<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 128.250.37.3 | -- leaked Microsoft memo.
More information about the developers
mailing list