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/
|
