Non-Deterministic Evaluation In Under 300 Bytes

[Neel Krishnaswami]

Michael Hudson <mwh21 at cam.ac.uk> wrote:
> 
> Anybody feel like extending the above to unification/resolution and
> hence embedding (possibly the slowest implementation the world has
> ever seen of) a prolog-style language in Python?  I'd give it a stab,
> but I don't know logic programming that well.

Heh -- probably the slowest prolog in the universe is Mini-Prolog run
under the Hugs Haskell interpreter.


Neel