Path: dp-news.maxwell.syr.edu!spool.maxwell.syr.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!postnews.google.com!v46g2000cwv.googlegroups.com!not-for-mail
From: "Marshall  Spight" <marshall.spight@gmail.com>
Newsgroups: comp.object,comp.databases.theory
Subject: Re: Storing data and code in a Db with LISP-like interface
Date: 26 Apr 2006 12:45:36 -0700
Organization: http://groups.google.com
Lines: 30
Message-ID: <1146080736.256684.296780@v46g2000cwv.googlegroups.com>
References: <1143603638.582373.250560@i40g2000cwc.googlegroups.com>
   <PrzWf.2015$Bf.1131@trndny06>
   <1144029234.495256.11540@u72g2000cwu.googlegroups.com>
   <1faYf.1074$jf7.210@trndny08>
   <1144111042.600878.64360@i39g2000cwa.googlegroups.com>
   <1144875417.086085.233560@u72g2000cwu.googlegroups.com>
   <1144970480.735546.107610@i39g2000cwa.googlegroups.com>
   <mtmdnfuqeZ1sGtfZRVn-qg@comcast.com>
   <1146003252.182469.131490@v46g2000cwv.googlegroups.com>
   <444eaa0f$0$31647$e4fe514c@news.xs4all.nl>
   <1146022489.034934.291140@v46g2000cwv.googlegroups.com>
   <1146026256.838345.241580@y43g2000cwc.googlegroups.com>
   <444fc6a8$0$31645$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 1146080741 29543 127.0.0.1 (26 Apr 2006 19:45:41 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 26 Apr 2006 19:45:41 +0000 (UTC)
In-Reply-To: <444fc6a8$0$31645$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: v46g2000cwv.googlegroups.com; posting-host=24.4.95.46;
   posting-account=s2xCFw0AAAD2mIwYYHAqjdsecwG0axmW
Xref: dp-news.maxwell.syr.edu comp.object:138579 comp.databases.theory:38724

mAsterdam wrote:
> Marshall Spight wrote:
> >
> > However, I am unclear what this word "isa" you are always
> > using means. The only "isa" that I know of has been completely
> > replaced with "pci".
>
> I took it to mean short for "is a".

It was sort of a lame joke.


> My prolog skills are as lame as yours - we even came up with
> allmost the same query-formulation :-)

We even used the same variable names!


> > Amusingly, since we have specified that the tomato is both
> > a fruit and a vegetable, anyone who likes tomatoes will qualify,
> > as we see above. However, the reader is strongly cautioned!
> > The tomato is *not* a vegetable!
>
> Sadly now both our prolog systems think it /is/.

Sigh. Just one wrong axiom and you can prove anything. :-)


Marshall