hey,
I read up a bit about how CL can be used for indeterministic
programming, such as Prolog was created for. Also, I read a bit about
Paul Graham's implementation in his "Advanced Topics" book. It was
really neat. But the chapter in Steele's book about series, though
making no mention of indeterministic programming, though series seem
to deal with lazy evaluation. Still, I wonder of such a package exists
for Allegro CL.
If anyone can shed some light on series, implementations of it, and/or
applications, please respond.
dave