From: ulr...@mips.complang.tuwien.ac.at (Ulrich Neumerkel)
Date: Wed, 17 Oct 2012 17:46:30 GMT
Local: Wed, Oct 17 2012 1:46 pm
Subject: Re: Multi-argument vs. JIT indexing (Was: Destructive assignments (Was: Win from call/n))
Jan Wielemaker <j...@invalid.invalid> writes:What I hope is that we find a good terminology for all of this
>On 2012-10-17, Ulrich Neumerkel <ulr...@mips.complang.tuwien.ac.at> wrote:
>> Jan Wielemaker <j...@invalid.invalid> writes:
>>>This is also more or less what SWI-Prolog does. The only difference
>>>is that it doesn't do anything at compiletime. Indexing opportunities
>>>are considered at the first call, creating the best single-argument
>>>index for that call. ...
>> In SWI, indexing is better on the first argument (that is similar
>Yes. Basically, there are linked lists ....
without referring to implementation details. Currently,
multi-argument indexing is a very vague term.
>> On the other hand, YAP is only determinate forIt is only relatively recently that toplevels show a bit the
>> known values (thus, the Xs, but never for Ys - regardless
>> of the argument order.)
>> There are many more dimensions that this one, indeed.
>Sure, and there is a lot of room for parameter tuning, both at the
open choicepoints - which has increased interest in this area.
There is also another motivation apart from hotspots: The
ability to finalize earlier with setup_call_cleanup/3.
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.