New SIG on logic/CLP programming in Python

[Terry Reedy]

"Magnus Lie Hetland" <mlh at vier.idi.ntnu.no> wrote in message
news:slrna9ou47.ajb.mlh at vier.idi.ntnu.no...
> Logic programming (or even something similar, with implicit
> backtracking etc.) would be very nice to have, IMO. The backtracking
> stuff itself ought to be easy to implement (efficiently, even) with
> generators.

There are some very interesting examples of using generators to do
backtracking in, I believe, test_generators.py in the distribution.
As I remember, both n-queens and knights tour examples are present.

Terry J. Reedy