Path: csiph.com!x330-a1.tempe.blueboxinc.net!aioe.org!feeder.news-service.com!newsfeed.xs4all.nl!newsfeed6.news.xs4all.nl!xs4all!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.040
X-Spam-Evidence: '*H*': 0.92; '*S*': 0.00; 'subject:Python': 0.04; 'syntax.': 0.09; 'this:': 0.11; 'am,': 0.14; 'wrote:': 0.14; 'solver': 0.16; 'combination': 0.19; 'part,': 0.19; 'header:In- Reply-To:1': 0.22; 'received:209.85.161.46': 0.26; 'received:mail- fx0-f46.google.com': 0.26; 'function': 0.27; 'message- id:@mail.gmail.com': 0.28; 'definition': 0.29; 'received:209.85.161': 0.29; 'sat,': 0.29; 'yes.': 0.31; 'to:addr :python-list': 0.32; 'programming,': 0.33; "isn't": 0.34; 'skip:" 10': 0.34; 'point': 0.35; 'some': 0.37; 'received:209.85': 0.37; 'execute': 0.38; 'steven': 0.38; 'received:google.com': 0.38; 'no.': 0.38; 'pretty': 0.38; 'to:addr:python.org': 0.39; 'received:209': 0.39; 'said': 0.39; 'would': 0.40; "it's": 0.40; 'header:Received:5': 0.40; '2011': 0.62; 'enable': 0.65; 'engine': 0.67; 'no?': 0.84
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:content-transfer-encoding; bh=jKn62CDv+vu6KnkFZHDNX7cCrRraNvdUaXQA6Y/wW44=; b=anuM2Lto5eHSLOhMdnra8MNVzJ5IjCh//YgsECVMEZT875g2OdmG2m4lfi4pbCiWeI fzteXUqjEZCMIk/T5NHnid75Mg6uH1un/9S9gjj3/FT56gspGpaxaaVjm5E1at9MQe5J Z7p54p04bTkZlPwVXxHU1SsY96FYHu4+ElJJw=
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:content-transfer-encoding; b=YdjvoJNK/1ztkft6kGFagU7PDbc8zTK1cIOSKM1H1XIXXdr/2+VhlT7Tqr/fMf5LbA HslppCdx6UH1JfME/7oSdOZ2h9rhXfxJc6uXehEqalZB56s9WtEdE5zbHkIl6bD7iHyj rhqTtgkOpo4SRIw5RSwUd4jvDAF1ak1NGl0Hk=
MIME-Version: 1.0
In-Reply-To: <4dc502e8$0$29991$c3e8da3$5496439d@news.astraweb.com>
References: <69c1813d-1a9a-4686-9768-8ec1910a45f8@d19g2000prh.googlegroups.com> <4dc428f2$0$29991$c3e8da3$5496439d@news.astraweb.com> <mailman.1259.1304707000.9059.python-list@python.org> <4dc502e8$0$29991$c3e8da3$5496439d@news.astraweb.com>
From: Ian Kelly <ian.g.kelly@gmail.com>
Date: Sat, 7 May 2011 08:54:23 -0600
Subject: Re: Coolest Python recipe of all time
To: Python <python-list@python.org>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
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.1292.1304780095.9059.python-list@python.org>
Lines: 13
NNTP-Posting-Host: 82.94.164.166
X-Trace: 1304780095 news.xs4all.nl 81485 [::ffff:82.94.164.166]:36282
X-Complaints-To: abuse@xs4all.nl
Xref: x330-a1.tempe.blueboxinc.net comp.lang.python:4910

On Sat, May 7, 2011 at 2:29 AM, Steven D'Aprano
<steve+comp.lang.python@pearwood.info> wrote:
>> This isn't really amb; as you said it's just a brute-force solver with
>> some weird syntax. =A0The whole point of amb is to enable
>> non-deterministic programming, such as this:
> [...]
>> The amb engine would conceptually execute this function for every
>> possible combination of a, b, and c,
>
> Which pretty much is the definition of "brute-force solver", no?

The "execute the function for every possible combination" part, yes.
The "non-deterministic programming" part, no.