I haven't done any benchmarks myself. David and Kostis Sagonis wrote a
paper on Hilog computation for the 1995 ICLP (I think), and they might
have some measurements in there.
Terry
On Thu, 27 Sep 2007, PhiHo Hoang wrote:
> Hi,
>
> In "Tabling for Non-Monotonic Reasoning", it was mentioned that the overhead
> for
> tabling is 10-15% in XSB 1.8.
> Now I see how important tabling is. It makes a lot of things possible,
> including
> HiLog.
>
> Is the overhead for HiLog even higher? I really love HiLog.
>
> Now that XSB is at 3.1, I am wondering if there are some benchmarks to see
> what's the price to pay for HiLog in terms of speed performance to solve the
> same problem using straight XSB prolog, XSB HiLog and Flora-2.
>
> Any pointer is very much appreciated.
>
>
> Regards,
>
> PhiHo
>
>
>
> -------------------------------------------------------------------------
> This SF.net email is sponsored by: Microsoft
> Defy all challenges. Microsoft(R) Visual Studio 2005.
> http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
> _______________________________________________
> Xsb-development mailing list
> Xsb-development-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx
> https://lists.sourceforge.net/lists/listinfo/xsb-development
>
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
|
