Path: dp-news.maxwell.syr.edu!spool.maxwell.syr.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!postnews.google.com!f14g2000cwb.googlegroups.com!not-for-mail
From: "Marshall  Spight" <marshall.spight@gmail.com>
Newsgroups: comp.databases.theory
Subject: Re: repeating groups
Date: 21 Feb 2006 10:13:41 -0800
Organization: http://groups.google.com
Lines: 20
Message-ID: <1140545621.000555.182640@f14g2000cwb.googlegroups.com>
References: <BxEJf.208$F94.78@trndny02>
   <1140284344.049753.181230@g47g2000cwa.googlegroups.com>
   <43f7c540$0$11064$e4fe514c@news.xs4all.nl>
   <otRJf.1772$VI6.209@newsread1.news.pas.earthlink.net>
   <1140329504.824686.293790@o13g2000cwo.googlegroups.com>
   <1140336725.827201.24000@g14g2000cwa.googlegroups.com>
   <1140342848.370220.311130@g43g2000cwa.googlegroups.com>
   <1140382166.489659.19990@z14g2000cwz.googlegroups.com>
   <1140394855.387165.242480@z14g2000cwz.googlegroups.com>
   <1140415983.632579.49520@z14g2000cwz.googlegroups.com>
   <1140421399.358038.67150@g43g2000cwa.googlegroups.com>
   <1140497679.150256.98110@g47g2000cwa.googlegroups.com>
   <1140510364.302633.157300@g43g2000cwa.googlegroups.com>
   <dtemhb$po9$1@emma.aioe.org>
   <1140542372.668262.246220@f14g2000cwb.googlegroups.com>
   <43fb5506$0$11076$e4fe514c@news.xs4all.nl>
NNTP-Posting-Host: 24.4.95.46
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1140545626 4508 127.0.0.1 (21 Feb 2006 18:13:46 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 21 Feb 2006 18:13:46 +0000 (UTC)
In-Reply-To: <43fb5506$0$11076$e4fe514c@news.xs4all.nl>
User-Agent: G2/0.2
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.5) Gecko/20041107 Firefox/1.0,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: f14g2000cwb.googlegroups.com; posting-host=24.4.95.46;
   posting-account=s2xCFw0AAAD2mIwYYHAqjdsecwG0axmW
Xref: dp-news.maxwell.syr.edu comp.databases.theory:36487

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