Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: deductive databases

Re: deductive databases

From: Robert Low <mtx014_at_coventry.ac.uk>
Date: Sat, 14 May 2005 18:02:11 +0100
Message-ID: <3emp6uF3ut5kU2@individual.net> 





alex goldman wrote:


> Robert Low wrote:


>>So it's just the statement that car of cons(X,Y) is X?




> If the inference procedure "knew" about equality, we could write 

> car(cons(X, Y)) = X, or equivalently X = car(cons(X, Y))

> In Prolog, it doesn't, so /one/ way to express "car" relation is like I did.




Oh, OK, I see where I've been misinterpreting what you
wrote now.
Received on Sat May 14 2005 - 12:02:11 CDT












Original text of this message













  HOME |
  ASK QUESTION |
  ADD INFO |
  SEARCH |
  E-MAIL US