Received: by 10.66.72.73 with SMTP id b9mr12489758pav.9.1351715074401;
        Wed, 31 Oct 2012 13:24:34 -0700 (PDT)
Path: s9ni71588pbb.0!nntp.google.com!npeer02.iad.highwinds-media.com!feed-me.highwinds-media.com!cyclone02.ams2.highwinds-media.com!news.highwinds-media.com!voer-me.highwinds-media.com!news.panservice.it!feeder.erje.net!eu.feeder.erje.net!news.albasani.net!.POSTED!not-for-mail
From: Jan Burse <janbu...@fastmail.fm>
Newsgroups: comp.lang.prolog
Subject: Re: Multi-argument vs. JIT indexing (Was: Destructive assignments
 (Was: Win from call/n))
Date: Wed, 31 Oct 2012 21:24:33 +0100
Organization: albasani.net
Lines: 24
Message-ID: <k6s1e1$4vb$1@news.albasani.net>
References: <k4ehls$urk$1@news.albasani.net> <k573qt$puo$1@dont-email.me> <k58mnn$fa1$1@news.albasani.net> <k58n3u$4sd$1@dont-email.me> <2012Oct12.123146@mips.complang.tuwien.ac.at> <k59h75$uvf$1@dont-email.me> <k59nt3$naf$1@news.albasani.net> <92edbe3f-33e4-42c0-a9f3-6ecf4d18892f@googlegroups.com> <2012Oct15.202232@mips.complang.tuwien.ac.at> <k5jch2$rbv$1@news.albasani.net> <k5jh3f$6fa$1@news.albasani.net> <k5k24m$ea0$1@news.albasani.net> <507e9e3a$0$921$afc38c87@read01.usenet4all.se> <2012Oct17.143309@mips.complang.tuwien.ac.at> <507ecc7a$0$923$afc38c87@read01.usenet4all.se> <k6rra7$mmd$1@news.albasani.net>
Mime-Version: 1.0
X-Trace: news.albasani.net 7gGCcyoMSP0FRBO0eoZ+cQOKCE6GffYtV2iCiI2bHaNpcwlOg9xzJtiXxAtGu2Y+FuEl8xA+Vqp9E7hQYP9tCt5lNaVWq9FYG2gZas/SyLnFxNYgUfjLDXQ+SfC5ZV9W
NNTP-Posting-Date: Wed, 31 Oct 2012 20:24:33 +0000 (UTC)
Injection-Info: news.albasani.net; logging-data="VAhZBxnATSUr0Qoo1cLK9R167CHgdWoH2TJ7IEo0sbblPveyAQPMZNqQQBqNY7zts6a8fw/qG8RpPUqinuZvhwg0OdyOiCLn+0Cefmtv/NEzfi+6Msdju6aXlBF2B302"; mail-complaints-to="ab...@albasani.net"
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:16.0) Gecko/20121026 Firefox/16.0 SeaMonkey/2.13.2
In-Reply-To: <k6rra7$mmd$1@news.albasani.net>
Cancel-Lock: sha1:e9yorkCob+N8vtpu1SKSGeM+Gug=
X-Received-Bytes: 2595
Content-Type: text/plain; charset=ISO-8859-15; format=flowed
Content-Transfer-Encoding: 7bit

Hi,

Jan Burse schrieb:
>
>  From the following query result:
>
> ?- plus(s(s(s(0))), s(0), Z).
> Z = s(s(s(s(0)))) ;
> false
>
> I only see that the choice point is not eliminated, but
> not which scheme the limitation has... Just currious.

I guess the above is nondet because cascaded index
is missing. I.e. it sees s(s(0)) in the first argument,
and then uses the first argument index, which has two
entries. If it would also use 0 in the second argument,
it could reduce the clause set further.

But nevertheless I would be interested whether there
are some differences between the multi argument scheme
and small set scheme in SWI-Prolog.

Bye