Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!Germany.EU.net!Munich.Germany.EU.net!ecrc!acrab60!thom
From: thom@ecrc.de (Thom Fruehwirth)
Subject: Nondeterminism
Message-ID: <D0Jt09.KBy@ecrc.de>
Sender: news@ecrc.de
Reply-To: thom@ecrc.de
Organization: European Computer-Industry Research Centre GmbH.
References: <9434021.28025@mulga.cs.mu.OZ.AU>
Date: Fri, 9 Dec 1994 14:45:45 GMT
Lines: 19


>From conway@munta.cs.mu.OZ.AU (Thomas Charles CONWAY)
>Subject: Re: In defense of Prolog's dynamic typing
>Date: Tue, 6 Dec 1994 10:56:12 GMT
>
>Number of modes:                  2209
>        - det:                    1858 ( 84.11%)
>        - semidet:                 344 ( 15.57%)
>        - nondet:                   38 (  1.72%)
>

Nondeterminism seems to be rare in logic programs. 

So why don't we get rid of the overhead of global/implicit search
by chronological backtracking in favor of local/explicit search
constructs ?

thom

