Re: repeating groups

From: Marshall Spight <marshall.spight_at_gmail.com>
Date: 21 Feb 2006 10:13:41 -0800
Message-ID: <1140545621.000555.182640@f14g2000cwb.googlegroups.com>

mAsterdam wrote:
> Marshall Spight wrote:
> >
> > It should be more like stating theorems, and having the compiler
> > prove them or disprove them.
>
> That is the prolog way.

Yes; prolog is quite an interesting thing to study. At one point I played with the idea of using prolog-style backtracking as the solution to the transitive closure problem with RM. The ancestor query and descendant query are both trivial in prolog, and amazingly declarative.

These days I instead think of backtracking/search as something you want in a library, rather than in the language.

Marshall Received on Tue Feb 21 2006 - 12:13:41 CST