Received: by 10.180.87.100 with SMTP id w4mr1010628wiz.3.1350680944031;
        Fri, 19 Oct 2012 14:09:04 -0700 (PDT)
MIME-Version: 1.0
Path: q10ni65191177wif.0!nntp.google.com!proxad.net!feeder1-2.proxad.net!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: ulr...@mips.complang.tuwien.ac.at (Ulrich Neumerkel)
Newsgroups: comp.lang.prolog
Subject: Re: Multi-argument vs. JIT indexing (Was: Destructive assignments (Was: Win from call/n))
Date: Fri, 19 Oct 2012 21:07:43 GMT
Organization: Technische Universität Wien, Institut für Computersprachen
Lines: 13
Message-ID: <2012Oct19.230743@mips.complang.tuwien.ac.at>
References: <k4ehls$urk$1@news.albasani.net> <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> <2012Oct17.194630@mips.complang.tuwien.ac.at> <507f0551$0$921$afc38c87@read01.usenet4all.se> <2012Oct18.143046@mips.complang.tuwien.ac.at> <k5rcmr$uto$1@news.albasani.net>
Injection-Info: mx04.eternal-september.org; posting-host="e3602f98984ce6eff143cbffbeeac014";
	logging-data="30706"; mail-complaints-to="ab...@eternal-september.org";	posting-account="U2FsdGVkX1/9RqHDeGSRGCKlfDRlwbQ8"
X-newsreader: xrn 10.00-beta-3
Cancel-Lock: sha1:ISdheYUHLUVlTkZ2LzKPjCNeTtI=

Jan Burse <janbu...@fastmail.fm> writes:
>Ulrich Neumerkel schrieb:
>> Yes, there is an increase in visible nondeterminism.  That is
>> unavoidable.
>
>Although it is a nice thing, I am not too exicted about detecting 
>determinism in indexing. For example for true non-deterministic
>predicates, i.e. those that really yield >1 solutions, the positive
>effect depends on the number of clauses.


Misunderstanding on my part: I meant that things get more "random"
for the user.  I did not think about backtracking as such.