From: Mark Tarver
Subject: representing non-determinism
Date: Thu, 27 Apr 2006 16:26:01 +0000
Message-ID: <1146155161.588357.15240@t31g2000cwb.googlegroups.com>

There is a study on the representation of
non-determinism using Qi in
http://www.lambdassociates.org/studies/study05.htm.
The short study is a spill-over from the thread
on that subject started in Qilang.  The
thread is cited in the above link.

Since Qi runs under Lisp, some of you may
find this interesting; particularly if you're
into AI problems involving search.  

have fun

Mark

From: mac
Subject: Re: representing non-determinism
Date: Thu, 27 Apr 2006 19:31:22 +0000
Message-ID: <1146166282.224187.192680@j73g2000cwa.googlegroups.com>

There's a section in _SICP_ that shows how to pass the continuation in
the evaluator to do non-deterministic search.

_On Lisp_ shows how to do the same thing in Lisp.

I think by using bese's call/cc one could also do this without
maintaining the housing keeping code as show in _On Lisp_

-- Mac