Re: WAM Vs. TOAM
- From: bart demoen <bmd@xxxxxxxxxxxxxx>
- Date: Fri, 14 Mar 2008 21:43:49 +0100
On Fri, 16 Nov 2007 10:41:51 -0500, Neng-Fa Zhou wrote:
Wait a few more days - there will be a tech report about tak/4 :-)
I look forward to reading it.
It took us more than a few days, and then I forgot to post it.
The tech report is at
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW510.abs.html
I think it shows clearly the issues, and also how we could all benefit
from adopting hybrid abstract machines/compilation principles. However,
I think the TOAM could benefit more than the WAM, because the WAM already
does a near optimal job (*) :-)
Cheers
Bart Demoen
(*) for tak/4
.
- Prev by Date: Re: CLP(FD): what is necessary?
- Next by Date: Re: CLP(FD): what is necessary?
- Previous by thread: Unification
- Next by thread: XSB on Ubuntu?
- Index(es):