Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!aioe.org!feeder.news-service.com!news2.euro.net!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path: <ian.g.kelly@gmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.001
X-Spam-Evidence: '*H*': 1.00; '*S*': 0.00; 'subject:Python': 0.04; 'implements': 0.05; 'macros': 0.07; 'recipe': 0.07; 'python': 0.07; 'kelly': 0.09; 'none)': 0.09; 'values,': 0.09; 'pm,': 0.11; 'def': 0.13; 'wrote:': 0.14; '(again,': 0.16; '1))': 0.16; 'beautifully.': 0.16; 'downside': 0.16; 'generator.': 0.16; 'cheers,': 0.20; 'code': 0.22; 'header:In-Reply-To:1': 0.22; 'typically': 0.24; 'received:209.85.161.46': 0.26; 'received:mail- fx0-f46.google.com': 0.26; "i'm": 0.26; 'function': 0.27; 'message-id:@mail.gmail.com': 0.28; 'received:209.85.161': 0.29; 'fri,': 0.29; 'achieved': 0.31; 'solved': 0.31; 'does': 0.31; 'language.': 0.31; 'to:addr:python-list': 0.32; 'implemented': 0.33; 'bit': 0.33; 'using': 0.34; 'post': 0.34; 'actually': 0.34; 'returned': 0.35; 'none': 0.36; 'received:209.85': 0.37; 'received:google.com': 0.38; 'but': 0.38; 'to:addr:python.org': 0.39; 'could': 0.39; 'received:209': 0.39; 'header:Received:5': 0.40; 'retrieve': 0.60; 'url:blogspot': 0.61; '2011': 0.62; 'designed': 0.69; 'stand': 0.71
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:in-reply-to:references:from:date :message-id:subject:to:content-type; bh=RjhbQJQipZ/mk4zydX/3qhh6LRpuAxyYbqIrYQ2obMQ=; b=s8HnodBY/O6MCRh8G50w/FvV+g9NYtYeT6dub6zYy0c3EIM+wJkS8zg9a7fXOTCG7D pA2gqYNoZHQxcPZWutizL/CiyNRnQOKNr/623yF6cIPEEAOtsJccuz5gLGo79W+MvbBm fZsiCkL9pEb0oflfhz7PqF9BM1l1ECpOj+cDw=
DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; b=DlV8+pi993WQUB5yT5Ru8qtNXb7CuAQYxi5vBi4UEA+Akqz6ael+Or2T4GzDpx/+Pi R7BQnADqyD4nYh6jovMysj4KuCWkuy42eWh3qUO0GDI3/c0FkrOsr9MfVgnqy7dbirca zQlTe5lsXZavXijmk3BxB2uRO4OXxtFX59X+k=
MIME-Version: 1.0
In-Reply-To: <BANLkTinKgoDxN1Fq9Z2fej+C4mWPC78w7Q@mail.gmail.com>
References: <69c1813d-1a9a-4686-9768-8ec1910a45f8@d19g2000prh.googlegroups.com> <4dc428f2$0$29991$c3e8da3$5496439d@news.astraweb.com> <BANLkTinKgoDxN1Fq9Z2fej+C4mWPC78w7Q@mail.gmail.com>
From: Ian Kelly <ian.g.kelly@gmail.com>
Date: Fri, 6 May 2011 13:38:08 -0600
Subject: Re: Coolest Python recipe of all time
To: python-list@python.org
Content-Type: text/plain; charset=ISO-8859-1
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe: <http://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <http://mail.python.org/pipermail/python-list>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <http://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups: comp.lang.python
Message-ID: <mailman.1261.1304710722.9059.python-list@python.org>
Lines: 34
NNTP-Posting-Host: 82.94.164.166
X-Trace: 1304710722 news.xs4all.nl 81474 [::ffff:82.94.164.166]:47395
X-Complaints-To: abuse@xs4all.nl
Xref: x330-a1.tempe.blueboxinc.net comp.lang.python:4853

On Fri, May 6, 2011 at 12:36 PM, Ian Kelly <ian.g.kelly@gmail.com> wrote:
> This is typically implemented using continuations, and I'm not sure
> whether a true amb could actually be achieved in Python without adding
> continuations or flow-control macros to the language.

I stand corrected.  After poking around a bit more I found this recipe
that is designed for unit-testing but implements amb beautifully.

http://lackingrhoticity.blogspot.com/2009/08/how-to-do-model-checking-of-python-code.html

My code from the previous post using this recipe:

def find_values(chooser):
    def amb(*choices):
        return chooser.choose(choices)
    def require(x):
        if not x:
            amb()
    a = amb(1, 3, 5)
    b = amb(2, 4, 8)
    require(a + b > 5)
    require(is_prime(a * b + 1))
    c = amb(a, b, None)
    require(c is None or c >= 5)
    return a, b, c

check(find_values)

The one downside is that the check function (again, designed for
unit-testing) does not provide any way to retrieve the returned
values, but that is easily solved by rewriting as a generator.

Cheers,
Ian