Re: deductive databases

From: VC <boston103_at_hotmail.com>
Date: Tue, 17 May 2005 22:51:16 -0400
Message-ID: <q9udnY3YMKQ1MBffRVn-gw@comcast.com>

"alex goldman" <hello_at_spamm.er> wrote in message news:2833197.QA2ogCgjIP_at_yahoo.com...
> ......"[In first-order logic, the term]
> `function' is better used for predicates that possess certain properties
> (determinism)"

What's that supposed to mean ?

One would hope that by now you'd have an introductory book on logic and learned :
-- that FOL does not talk about function or 'functors' but rather about 'function symbols', among other things; -- that FOL can get rid of function symbols and be as expressive as with them;
-- that FOL without 'function symbols' ain't equivalent to Datalog .. et cetera...
>
>
Received on Tue May 17 2005 - 21:51:16 CDT